Skip to content

0.1 beta 1
Compare
Choose a tag to compare
@lucaneg lucaneg released this 25 Aug 10:19
· 1243 commits to master since this release
v0.1b1
acff3b2
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Milestone with issues list - Maven - Javadoc

*new* revamped dataflow analyses
*new* widening threshold is configurable
*new* non-relational domains: glb and reasoning about type conversions
*new* semantic checks to exploit analyses results
*new* control-flow structures extraction from CFG heuristics
*new* domains now present their information in a structured way instead of relying on strings
*new* non-interference
*new* annotations support
*new* hybrid call resolutions, definition of entrypoints, interprocedural analyses
*bugfix* FunctionalLattice operations leave the underlying lattice untouched
*bugfix* Interval analysis now works properly
*bugfix* Environment#liftIdentifiers
*bugfix* equalitiy comparisons between analysis components work properly
*bugfix* assignments to bottom states do not modify them
*bugfix* sanity tests for Lattice#isTop()/isBottom()
+ lots of new tests

Assets 2
Loading