Automatic Assertion Generation
November 2019 - December 2019
Florida State University
- Designed a static analysis technique for generating assertions for C programs using a portion of program trace data
- Improved time performance by using static analysis over a dynamic analysis tool, Daikon
- Used CBMC (a verification tool) to prove/disprove these assertions on a range of benchmarks from SV-COMP (Collection of Verification Tasks)
- Experimented with multiple fuzzers, e.g., AFL, to generate program traces