[Gradle Release Plugin] - new version commit: '3.3.2'.
improve docs
Made the methods of interfaces used as arg in addJavascriptInterface() invocation reachable. Can be made more precise when annotations get android support.
minor
Featherweight information flow
add missing file
Use CompileStatic on jimple parser
Minor edit.
Split input (-i option) and library files (-l option). Add support for distinguished input and library files to doop analyses and soot-fact-generation
[Gradle Release Plugin] - pre tag commit: '4.0.0'.
[Gradle Release Plugin] - new version commit: '4.0.1'.
Update clue-common version
[Gradle Release Plugin] - new version commit: '4.0.2'.
Missing statement
Fix refactored code
Change --level option to --Level
Fix handling of blox opts
Remove --dacapo[-bach] flags from the UI: benchmark X must be now uploaded in full (X.jar, X-deps.jar, X-tamiflex*.log).
Selective string merging
fix bug in coloring
fix bug in featherweight
Fix input resolution for maven artifacts
Fix flag check.
Make statistics always available for output.
Handle missing statistics output.
Make statistics output optional when running in server mode.
[Gradle Release Plugin] - new version commit: '4.0.3'.
Fix comment.
remove unsoundness in string coloring (hopefully none left)
Adjustment to reflection policy: have full matches work, regardless of string length
Fix: make --reflection-classic and --distinguish-all-string-constants mutually exclusive.
Make options distinguish-reflection-only-string-constants and distinguish-all-string-constants mutually exclusive.
try a more selective featherweight @gfour
Generate Class-Artifact.facts
Generate Shimple for all dependency classes and referenced platform (JDK, Android SDK) classes
Fix build.gradle
Fix parsing of invoke statements.
[Gradle Release Plugin] - new version commit: '3.3.2'.
improve docs
Made the methods of interfaces used as arg in addJavascriptInterface() invocation reachable. Can be made more precise when annotations get android support.
minor
Featherweight information flow
add missing file
Use CompileStatic on jimple parser
Minor edit.
Split input (-i option) and library files (-l option). Add support for distinguished input and library files to doop analyses and soot-fact-generation
[Gradle Release Plugin] - pre tag commit: '4.0.0'.
[Gradle Release Plugin] - new version commit: '4.0.1'.
Update clue-common version
[Gradle Release Plugin] - new version commit: '4.0.2'.
Missing statement
Fix refactored code
Change --level option to --Level
Fix handling of blox opts
Remove --dacapo[-bach] flags from the UI: benchmark X must be now uploaded in full (X.jar, X-deps.jar, X-tamiflex*.log).
Selective string merging
fix bug in coloring
fix bug in featherweight
Fix input resolution for maven artifacts
Fix flag check.
Make statistics always available for output.
Handle missing statistics output.
Make statistics output optional when running in server mode.
[Gradle Release Plugin] - new version commit: '4.0.3'.
Fix comment.
remove unsoundness in string coloring (hopefully none left)
Adjustment to reflection policy: have full matches work, regardless of string length
Fix: make --reflection-classic and --distinguish-all-string-constants mutually exclusive.
Make options distinguish-reflection-only-string-constants and distinguish-all-string-constants mutually exclusive.
try a more selective featherweight @gfour
Generate Class-Artifact.facts
Generate Shimple for all dependency classes and referenced platform (JDK, Android SDK) classes
Edit text.
more stats
fix optimization
arity mistake
hashifdef stat
change stat
choose another stat
change label to lower case
heapdl options bug in LB
Model sun.misc.Perf (used at program start).
Fix typos.
Model call to Proxy superclass constructor.
Handle --Xstop-at-init in Souffle mode.
Basic support for Class.getPrimitiveClass().
Remove method, use runHeapDL() from superclass.
Class, method, field, param annotations
Signed-off-by: Nikos Filippakis aesmade@gmail.com
Fix facts import messages.
tweak selective analysis
Make covariant-method logic easy to disable.
Fix typo.
tweak fw analysis
Fix souffle caching message to report the binary used.
optimizations
Replace environment variable DOOP_FACTGEN_CORES with option --fact-gen-cores (for server compatibility).
Covariant-method logic is not applied to class/instance constructors.
Covariant methods may not have a 'void' return type.
Optimize covariant-method logic.
Report phantom types.
Discover testing code via annotations.
Make fact generation robust against single-method failure.
Version of dynamic-proxy analysis that can work wthout reflection support.
Add heuristic for discovering EvoSuite tests.
Add dynamic proxy statistics (debug mode).
Refactor to do dynamic proxy analysis without reflection support (using custom built-in mini support).
Add rule for test discovery.
Fix JUnit discovery rule to crate mock 'this' values.
Changes in handling of Main-Class
Generate empty MainClass.facts in case not main class is specified
Minor fixes in lb logic
Touch placeholder .fact files
Fix MainClass.facts creation
Make covariant-method logic optional (via macro).
Add methods to retrieve all available platforms and the platform artifacts given a full platform name
Refactor test discovery code.
Fix path.
Model getDeclaredConstructors0().
Add optional flag to discover main() methods.
Show warnings about dynamic proxies and different reflection modes.
Refactor to avoid empty-relation warning.
Change -Xstop-at-facts and --generate-jimple behaviour
Rename/refactor dynamic proxy export macro.
Remove .output qualifiers.
Better handling of --Xstop-at-facts flag
Remove unused import.
Update platforms list.
Remove unneeded condition (already checked in SubtypeOf).
Add back check.
Add SubtypeOfDifferent.
Fixes in handling of multidex apks
[Gradle Release Plugin] - new version commit: '4.0.4'.
Add description for option.
Handling of covariant method overriding on by default.
Fix concurrent caching of the same analysis binary.
[Gradle Release Plugin] - new version commit: '4.0.5'.