7:00Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++Secure Software Engineering109 viewsView & Download
37:37Static Code Analysis - A Behind-the-scenes Look • Arno Haase • GOTO 2022GOTO Conferences7.2K viewsView & Download
14:44OCaml Workshop 2021 - Semgrep a fast lightweight polyglot static analysis tool to find bugsOCamlWorkshops316 viewsView & Download
14:40[OOPSLA'25] Two Approaches to Fast Bytecode Frontend for Static AnalysisACM SIGPLAN34 viewsView & Download