David Korczynski
davkor.bsky.social
David Korczynski
@davkor.bsky.social
Software security with a heavy focus on fuzzing and program analysis. Researcher at Ada Logics
Yeah, it's relatively new -- we've worked 2-3 months on it from starting with tree-sitter, but have made good strides. FI already supports C/C++/Rust/golang and java. Mileage may vary between languages, but we're going to try and see how far tree-sitter can get us. More posts coming up shortly!
February 15, 2025 at 11:07 PM