Skip to content
  • Andre Maroneze's avatar
    [verisec] apply several patches; add Frama-C/Eva analyses · 5126174d
    Andre Maroneze authored
    Note: several "ok" tests still contain warnings; in some cases, they seem
    inevitable, but others can be improved by adding C stubs, ACSL annotations,
    or improving the precision in other ways. They may also contain real bugs
    which have not yet been patched.
    5126174d