search

microsoft / Static-Module-Verifier

Static Module Verifier technology enables full module analysis using Microsoft Azure.
MIT License
9 stars 11 forks source link

SMV-AV: Option to SMV to only add procedures in source file in a CFG #24

Open shuvendu-lahiri opened 7 years ago

shuvendu-lahiri commented 7 years ago

Needed to create CFGs for Azure and Chakra, as discussed. In other words, don't put body of procedures in header files in the CFG.