necto (original) (raw)

I am a static analysis engineer at Sonar where we use Clang Static Analyzer and Clang Matchers to implement quality and security rules. Before that I’ve started and published the Vigor project - an automatic semantic formal verification framework for software network functions based on the Klee symbolic execution engine.