summaryrefslogtreecommitdiff
path: root/plugins/libcsem/semantic.h
AgeCommit message (Collapse)Author
2015-04-25Included a new plugin to mark calls to exit() functions as return points.Cyrille Bagard
git-svn-id: svn://svn.gna.org/svn/chrysalide/trunk@517 abbe820e-26c8-41b2-8c08-b7b2b41f8b0a