When Claude reasons about code, it reasons about lists, but the questions that actually matter are graph questions.
Uncategorized
1
Posts
1
Posters
0
Views
-
When Claude reasons about code, it reasons about lists, but the questions that actually matter are graph questions.
We just open-sourced Trailmark, a library that parses source code into a call graph using tree-sitter and rustworkx across 17 languages.
8 Claude skills built on its API. On Ed448, one classified 73% of surviving mutants as equivalent. Flat lists can't see that. https://blog.trailofbits.com/2026/04/23/trailmark-turns-code-into-graphs/
-
R relay@relay.infosec.exchange shared this topic
