1. 8
    Under-constrained, Symbolic Execution: Correctness Checking for Real Code (2015) ☶ pdf c c++ formalmethods security usenix.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments

Improvement on prior submissions by KLEE team below that found many errors in FOSS software.

https://lobste.rs/s/zsxrnd/practical_low_effort_equivalence

  1.