Skip to content

1.2.4 - Lawn mower

Choose a tag to compare

View all tags
@cargaji cargaji released this 15 Sep 14:16
1.2.4
21944ff
This commit was signed with the committer’s verified signature. The key has expired.
cargaji Carlos Galindo
GPG key ID: 1E19EA19F83EB69D
Expired
Verified
Learn about vigilant mode.

This initial release supports the following system dependence graphs (SDGs):

  • SDG: interprocedural slicing with expressions, loops and conditionals.
  • Augmented SDG (ASDG): adds support for unconditional jumps (break, continue, return) and switch statements.
  • Pseudo-predicate SDG (PSDG): supports the same instructions as the ASDG, but obtains smaller slices.
  • Exception sensitive SDG (ESSDG): adds support for exception handling structures (throws, try, catch) and exception throwing instructions (throw).

You can select the type of graph you want with the --type option.

Assets 3
Loading