Merged in yanniss/doop-nexgen (pull request #52)
Change version of dexlib and WALA.
Handle ArrayInitialValueFromConst facts.
Remove comment.
Add comment.
add minimal (micro) self-contained analysis
Add experimental support for ArrayInitialValueFromLocal.
Fixes in oracular
WALA: Added multidex support.
Report failure to initialize and continue.
[Gradle Release Plugin] - new version commit: '4.10.8'.
fixed self-contained micro analysis to work on proper Java desktop apps
Fix handling of platforms android_22_stubs/android_23_stubs.
Refactor writing of ASSIGN_UNOP facts.
Add facts for invoke-super (Android).
Make method public.
Python: Changes in fact gen.
Add support for invoke-super (Android).
Python: Added signle-file-analysis option.
Don't output two empty relations.
WALA: small edits.
Add low-level JVM type converter in TypeUtils.
WALA: add support for Class-Artifact input facts.
Port junit test to spock.
Add experimental support for parsed XML resources.
Comment out debug print.
Python: Fact changes.
Add Throwable cause to DoopErrorCodeException.
Python: More changes in facts.
Make code less verbose.
Python: Added support for arithmetic operations with constants.
Refactor handling of instruction ids.
Refactor exception handling instruction ids.
Weaken types.
Simplify code.
Use try-with-resources.
Delete unused imports.
Convert StringBuilder to equivalent String concatenation.
Check for null.
Remove unused import.
Inline variable.
Add experimental Dex front-end.
Minor Groovy edits.
Weaken types and modifiers.
Remove unused cast.
Fix reading of epilogue debug information in .dex files.
Minor Groovy edit.
Remove unused code.
Fix Groovy code.
Edit types.
Remove redundant check.
Small improvement in file handling.
Weaken type.
Remove unused imports.
Update docs/rules.html.
Improve handling of front-end parameters.
Don't proceed to analysis when fact generation encounters internal error.
Python: Remove unnecessary fact, changes schema, added some work on lists.
Ensure output facts directory is not missing.
Initialize logging in the Dex front-end.
Log output directory in the Dex front-end.
Soot: use 'cores' parameter also for parallel class retrieval.
Fix tabs.
Python: More work on lists.
Fix initialization of SootParameters.
Initialize logging in Java only if it's not already initialized.
Soot: add option to skip phantoms output.
Update SootParametersTest.
Change in ContextRequest affecting all analyses
Bug fix for ContextRequest
Fix reading of property files under src/test/resources/scenarios.
Improve message.
Edit Groovy test style.
Python: A couple of bugfixes.
Add LB mode test.
Undo try-with-resources transformation, would break WALA front-end.
Remove unneeded class.
Remove unused loggers.
Fix methods that should be void.
WALA: don't try to create directories twice.
Minor edit.
Remove unneeded cast.
Make field into local.
Python: changes in lists.
Remove unused dependency
Update/fix FlowDroid interface.
Add output relation for removing methods only used in devirtualized calls.
Add commented out helper relation for computing JVM method descriptors.
Add crude test for Souffle-based analyses.
Uniform (optional) initialization of logging.
WALA: print exception stack trace.
Handle failures while preprocessing JAR entries.
Add micro analysis test.
Use tamiflex information on dacapo even under reflection.
Permit URLs for Tamiflex arguments.
Fixes in oracular, fix 2-call-site-sensitive+heap
Soot: fix multidex warning in FlowDroid.
Soot: fix FlowDroid integration.
Soot: style edits.
Soot: show stack traces in entry point.
Soot: rename variable.
Soot: delete confusing message.
Soot: enable the fast callback analyzer (FlowDroid).
Python: General work, slight modification of some facts and added some forgotten ones. Work on imports/library models. Work on lexical reads/writes.
Remove print
Fix platform android_22_fulljars.
Add platforms test.
Add option to force Souffle (re)compilation, for testing.
Edit style.
Fixes in multiple analyses
Rename micro/LB tests.
Add reflection analysis in CrudeSouffleTest.
Add diagnostic message.
Replace static field with method (since returned data depends on Doop initialization).
Fix dry runs for micro/sound-may-point-to.
Add test to check if all analyses compile.
Refactor front-end parameter handling, fix WALA invocation.
Groovy edits.
Refactor test code.
Add WALA test.
Tweak signatures.
Comment out unused argument.
WALA: remove dead code.
Remove unused class.
WALA: remove unused method (relation currently used only in Soot/FlowDroid).
Add open programs test.
Add option for parallel tests (commented out).
Fail eagerly instead of trying to handle inconsistent internal state of Soot.
Fix DryRuns test.
Fix method call.
Python: Work on modeling tensorflow birary and operations.
Add support for partitioning in basic analysis
Bug fix no default value for X_STOP_AT_BASIC
Fix twophase-A, twophase-B, selective-2-object+heap analyses
Minor Java edits.
Modifications in zipper and scaler scripts
WALA: add diagnostic messages.
Modifications to scaler, zipper and oracular scripts, remove redundant analysis (scaler), rename oracular analysis to fully-guided-context-sensitive
Improve handling of fact generation errors.
Handle big output relations in tests.
Fixes in python scripts
Update README.
Groovy style edit.
Soot: weaken type.
Remove dead code.
Print more information about Android manifests.
Check for null .dex entries.
More fixes on multi-analyses scripts
Python: Fixes in tensor operations.
Fix README.
Add flag to ignore fact generation errors.
Don't finish fact generation on first failure.
Python: Changes in facts and general work modeling the ir.
Add support for server-analysis-tests (test 104).
Remove invisible option from the README.
Add help message.
Fix DryRuns test to not depend on explicit analysis names.
Add server analysis test 009 (native code).
Add server analysis test 012 (interface fields).
Add initial version of reflection test (server-analysis-test 016).
Change in fully-guided-context-sensitive analysis
Fixes for Scaler, Oracular
Python: work on fields, new instances and more.
Changes in oracular and scaler scripts to run with precomputed facts
Python: Changes in the way things are modeled.
Fix comment.
Make Doop less verbose when using upstream Soot.
Python: Fact changes and work on function resolution.
Add test case for server analysis test 016.
Style edit.
Generate Jimple for server analysis tests.
Add more server analysis tests.
Modularize server analysis tests.
Initialize Doop (if not already initialized) when showing default values (needed by clients of Doop).
Python: Work on tensorflow reshape operation.
Fix bug where Doop would crash when initializing options from wrong arguments.
Make flag to decode .apk inputs global.
Working partitioned-2-object-sensitive+heap analysis, although buggy for now
Python: More work on reshape op.
Add support for .gz HPROF inputs.
Add Android test.
Remove unneeded annotation.
[Gradle Release Plugin] - new version commit: '4.10.9'.
Improve support for apktool invocations.
[Gradle Release Plugin] - new version commit: '4.10.10'.
Fix bug in field reflection.
[Gradle Release Plugin] - new version commit: '4.10.11'.
Change version of dexlib and WALA.
Handle ArrayInitialValueFromConst facts.
Remove comment.
Add comment.
add minimal (micro) self-contained analysis
Add experimental support for ArrayInitialValueFromLocal.
Fixes in oracular
WALA: Added multidex support.
Report failure to initialize and continue.
[Gradle Release Plugin] - new version commit: '4.10.8'.
fixed self-contained micro analysis to work on proper Java desktop apps
Fix handling of platforms android_22_stubs/android_23_stubs.
Refactor writing of ASSIGN_UNOP facts.
Add facts for invoke-super (Android).
Make method public.
Python: Changes in fact gen.
Add support for invoke-super (Android).
Python: Added signle-file-analysis option.
Don't output two empty relations.
WALA: small edits.
Add low-level JVM type converter in TypeUtils.
WALA: add support for Class-Artifact input facts.
Port junit test to spock.
Add experimental support for parsed XML resources.
Comment out debug print.
Python: Fact changes.
Add Throwable cause to DoopErrorCodeException.
Python: More changes in facts.
Make code less verbose.
Python: Added support for arithmetic operations with constants.
Refactor handling of instruction ids.
Refactor exception handling instruction ids.
Weaken types.
Simplify code.
Use try-with-resources.
Delete unused imports.
Use try-with-resources.
Convert StringBuilder to equivalent String concatenation.
Weaken types.
Convert StringBuilder to equivalent String concatenation.
Check for null.
Remove unused import.
Inline variable.
Add experimental Dex front-end.
Minor Groovy edits.
Weaken types and modifiers.
Remove unused cast.
Fix reading of epilogue debug information in .dex files.
Remove unused cast.
Weaken types.
Minor Groovy edit.
Remove unused code.
Fix Groovy code.
Edit types.
Remove redundant check.
Small improvement in file handling.
Weaken type.
Remove unused imports.
Small improvement in file handling.
Update docs/rules.html.
Improve handling of front-end parameters.
Don't proceed to analysis when fact generation encounters internal error.
Python: Remove unnecessary fact, changes schema, added some work on lists.
Ensure output facts directory is not missing.
Initialize logging in the Dex front-end.
Log output directory in the Dex front-end.
Soot: use 'cores' parameter also for parallel class retrieval.
Fix tabs.
Simplify code.
Python: More work on lists.
Fix initialization of SootParameters.
Initialize logging in Java only if it's not already initialized.
Soot: add option to skip phantoms output.
Update SootParametersTest.
Change in ContextRequest affecting all analyses
Bug fix for ContextRequest
Fix reading of property files under src/test/resources/scenarios.
Improve message.
Edit Groovy test style.
Python: A couple of bugfixes.
Add LB mode test.
Undo try-with-resources transformation, would break WALA front-end.
Remove unneeded class.
Remove unused loggers.
Fix methods that should be void.
WALA: don't try to create directories twice.
Minor edit.
Remove unneeded cast.
Remove unused import.
Make field into local.
Python: changes in lists.
Remove unused dependency
Remove unused imports.
Update/fix FlowDroid interface.
Add output relation for removing methods only used in devirtualized calls.
Add commented out helper relation for computing JVM method descriptors.
Add crude test for Souffle-based analyses.
Uniform (optional) initialization of logging.
Fix tabs.
WALA: print exception stack trace.
Handle failures while preprocessing JAR entries.
Add micro analysis test.
Use tamiflex information on dacapo even under reflection.
Permit URLs for Tamiflex arguments.
Fixes in oracular, fix 2-call-site-sensitive+heap
Soot: fix multidex warning in FlowDroid.
Soot: fix FlowDroid integration.
Soot: style edits.
Soot: show stack traces in entry point.
Soot: rename variable.
Soot: delete confusing message.
Soot: enable the fast callback analyzer (FlowDroid).
Python: General work, slight modification of some facts and added some forgotten ones. Work on imports/library models. Work on lexical reads/writes.
Remove print
Fix platform android_22_fulljars.
Add platforms test.
Add option to force Souffle (re)compilation, for testing.
Edit style.
Fixes in multiple analyses
Rename micro/LB tests.
Add reflection analysis in CrudeSouffleTest.
Add diagnostic message.
Replace static field with method (since returned data depends on Doop initialization).
Fix dry runs for micro/sound-may-point-to.
Add test to check if all analyses compile.
Refactor front-end parameter handling, fix WALA invocation.
Groovy edits.
Refactor test code.
Add WALA test.
Tweak signatures.
Comment out unused argument.
Groovy edits.
Remove unused imports.
WALA: remove dead code.
Remove unused class.
WALA: remove unused method (relation currently used only in Soot/FlowDroid).
Add open programs test.
Add option for parallel tests (commented out).
Fail eagerly instead of trying to handle inconsistent internal state of Soot.
Fix DryRuns test.
Fix method call.
Python: Work on modeling tensorflow birary and operations.
Add support for partitioning in basic analysis
Bug fix no default value for X_STOP_AT_BASIC
Fix twophase-A, twophase-B, selective-2-object+heap analyses
Groovy edits.
Minor Java edits.
Modifications in zipper and scaler scripts
WALA: add diagnostic messages.
Modifications to scaler, zipper and oracular scripts, remove redundant analysis (scaler), rename oracular analysis to fully-guided-context-sensitive
Improve handling of fact generation errors.
Handle big output relations in tests.
Fixes in python scripts
Update README.
Groovy style edit.
Soot: weaken type.
Remove unused import.
Remove dead code.
Print more information about Android manifests.
Check for null .dex entries.
More fixes on multi-analyses scripts
Python: Fixes in tensor operations.
Fix README.
Add flag to ignore fact generation errors.
Don't finish fact generation on first failure.
Python: Changes in facts and general work modeling the ir.
Add support for server-analysis-tests (test 104).
Remove invisible option from the README.
Add help message.
Fix DryRuns test to not depend on explicit analysis names.
Add server analysis test 009 (native code).
Add server analysis test 012 (interface fields).
Add initial version of reflection test (server-analysis-test 016).
Change in fully-guided-context-sensitive analysis
Fixes for Scaler, Oracular
Python: work on fields, new instances and more.
Changes in oracular and scaler scripts to run with precomputed facts
Python: Changes in the way things are modeled.
Fix comment.
Make Doop less verbose when using upstream Soot.
Python: Fact changes and work on function resolution.
Add test case for server analysis test 016.
Style edit.
Generate Jimple for server analysis tests.
Add more server analysis tests.
Modularize server analysis tests.
Initialize Doop (if not already initialized) when showing default values (needed by clients of Doop).
Python: Work on tensorflow reshape operation.
Fix bug where Doop would crash when initializing options from wrong arguments.
Make flag to decode .apk inputs global.
Working partitioned-2-object-sensitive+heap analysis, although buggy for now
Python: More work on reshape op.
Add support for .gz HPROF inputs.
Add Android test.
Remove unneeded annotation.
[Gradle Release Plugin] - new version commit: '4.10.9'.
Add comment.
Improve support for apktool invocations.
[Gradle Release Plugin] - new version commit: '4.10.10'.
Fix bug in field reflection.
[Gradle Release Plugin] - new version commit: '4.10.11'.