Skip to content

Tags: rbonifacio/svfa-scala

Tags

0.3.0

Toggle 0.3.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #31 from rbonifacio/task/merge_changes_for_cycle_t…

…imes

Changes for 1st to 5th methodology cycles

0.2.4

Toggle 0.2.4's commit message
log the error when we cannot execute the copy from argument to base o…

…bject rule

0.2.3

Toggle 0.2.3's commit message
avoiding null pointer exception

0.2.1

Toggle 0.2.1's commit message
setting the ignore resolution errors

0.2.0

Toggle 0.2.0's commit message
merging master with branch develop

0.0.8-SNAPSHOT

Toggle 0.0.8-SNAPSHOT's commit message
inter x intra procedural

0.0.7-SNAPSHOT

Toggle 0.0.7-SNAPSHOT's commit message
reviewing library version

0.0.5

Toggle 0.0.5's commit message
ignoring a few test cases + update the version of the artifact

0.0.2

Toggle 0.0.2's commit message
This release introduces a new edge from a definition statement (x = .…

…...)

to an invoke expression having "x" as base object.

0.0.1

Toggle 0.0.1's commit message
Release 0.0.1

This is the first (experimental) release of svfa-scala. Features:

   * primitive graph construction for invoke, copy, and load situations
   * JIMPLE as intermediate representation (that is, no SSA support)
   * export graph to dot notation
   * find a path from source to sink nodes
   * covering a small number of test scenarios