Bottom-up analysis approach, class file resolving, new summary language, and many more.

This release is kind of a pre-release for the next major release -- V4.0.0
We test the bottom-up analysis approach and our new summary language at this release.
New features like, java layer (better java developer APIs) and java source code analysis will be added into V4.0.0.

Bug fix, Beta bottom-up data flow analysis, heap summary.

v3.1.2

Releasing 3.1.2

Better Decompiler, Code Gen

More fine grained decompiler with progress bar.
Bug fix for code generator.
Faster class hierarchy resolve.

Component Resolving Updated

Many things have been updated.

1. Rename jawa-core to jawa, amandroid-core to amandroid.
2. Merge JawaCompiler to Jawa.
3. Update pilar AST to use Jawa AST, which makes static analysis more elegant and easy to use.
4. Add interface for handle indirect call for data flow analysis. e.g., Runnable.start -> Runnable.run.
5. Add interface for model call handling.
6. User can easily adding indirect call resolver and model call handler.

New AST, New compiler, New decoder, Indirect call resolver

Many things have been updated.
0. Rename jawa-core to jawa, amandroid-core to amandroid.

1. Merge JawaCompiler to Jawa.
2. Update pilar AST to use Jawa AST, which makes static analysis more elegant and easy to use.
3. Add interface for handle indirect call for data flow analysis. e.g., Runnable.start -> Runnable.run.
4. Add interface for model call handling.
5. User can easily adding indirect call resolver and model call handler.

Adding more control for decompile

v2.0.5

Releasing 2.0.5

Fix report errors, and adding timer for call graph

v2.0.4

Releasing 2.0.4

Adding new security checkers

v2.0.3

Releasing 2.0.3

Bug fixing

v2.0.2

Releasing 2.0.2

Update decompiler to allow timeout and many bug fixes.

v2.0.1

Releasing 2.0.1