search

boogie-org / symbooglix

Symbolic Execution Engine for Boogie
MIT License
27 stars 4 forks source link

Use call graph information in GlobalDDE #13

Open delcypher opened 8 years ago

delcypher commented 8 years ago

We can potentially remove more dead declarations if we first remove all procedures that are not reachable (via calls) from the entry point