Optimizations used in automatic verification tools. (For any optimizations that require manual annotation, see verification performance.)
- Parallelism
- state merging
- case splitting
- lazy symbolic execution
Notes related to Verifier performance
Swarm verification, Verification performance of code, Verification profiling of code
Papers related to Verifier performance
- Targeted program transformations for symbolic execution [cadar:fse:2015]
- Swarm verification techniques [holzmann:ieeetse:2011]
- Efficient state merging in symbolic execution [kuznetsov:pldi:2012]
- Control flow obfuscation using neural network to fight concolic testing [ma:securecomm:2015]
- A synergistic approach for distributed symbolic execution using test ranges [qiu:icse:2017]
- Using test ranges to improve symbolic execution [qiu:nfm:2018]
- Scaling symbolic execution using ranged analysis [siddiqui:oopsla:2012]
- Chopped symbolic execution [trabish:icse:2018]
- Boost symbolic execution using dynamic state merging and forking [zhang:apsec:2018]