seahorn/crab

Enhance top-down inter-procedural analysis

caballa opened this issue · 1 comments

caballa commented
  • analysis of recursive functions in a precise way
  • backward analysis
caballa commented

A backward, inter-procedural analysis is not a need for now so I'll close it.