SMV-AV:Integrate use-after-free AV check into SMV

microsoft / Static-Module-Verifier

Static Module Verifier technology enables full module analysis using Microsoft Azure.

MIT License

9 stars 11 forks source link

Closed shuvendu-lahiri closed 7 years ago

shuvendu-lahiri commented 7 years ago

Make a new check /useafterfree for SMV

rahulku commented 7 years ago

done. AV plugin is available now.