for sas13-exflow scala in eclipse

readme to state the DARPA rule

Update README.md

Update README.md

format

preparing for sas13 virtual image submission

Update README.md

help infor to run inthe src

order Android entry point over Java Runnable

options

Update README.md

Update README.md

Update README.md

Update README.md

options

make file for sas13 virtual image to run benchmarks

typos

moved to vm for submission

cleaned up IRs generated from Darpa released apks + little script to generate irs from apks for now

Update README.md

before any change to bitbucket.

extracted the modified analytic engine from APAC second delievery

extracted the modified analytic engine from APAC second delievery

rm files

extracted the modified analytic engine from APAC second delievery

extracted the modified analytic engine from APAC second delievery

extracted the modified analytic engine from APAC second delievery

extracted the modified analytic engine from APAC second delievery

extracted the modified analytic engine from APAC second delievery

new readme

new readme

new readme

trial implementation for pushdown widening

super classes bug, widening bugs, aco still under debug

agressive cut off based on equivalent class in ECG

agressive cut off among branches

trash files deleted

getSuperStrs bug

1. added push and pop rule back (but still disable inject throw for now); 2. check-cast and const-class (wraps in RegisterExp for convinience)is fixed for AssignAExp, which affected live register analysis----fixed; 3. Added serires number to PopHandler statements (e.g. LineStmt(45-0)) rather than all the same line number, which will bring false cut off in agressive cut off; 4. the filtering of pophandler edges passed the wrong arguments in method filterOutEdgesWithTargetInSet- be careful with the refactoring code!

bug fixes: file name with spaces, line number

reorg files

risk ranking

risk ranking audits bugs, parser separated and risk ranking are performed before pdcfa

risk ranking audits bugs, parser separated and risk ranking are performed before pdcfa

a little more features

forgot the file

stupid bug in entry point

agressive optimization: 3X improvement

more crazy optimziation: 1. Refinement of todo set; 2. The entire framework is refacroted to support standard domains AND Godel hashing domains

For non-nullability analysis

For non-nullability analysis

Resolution of ODex code. Thanks to Steve help to resolve some field and methods, and I change the quick field name to field path to be consistent with non-optimized dex code instructions

turn on the dump graph yourself

add Android odex files as dependencies to resolve its core libr odex file.

generate input for intent fuzzer

README

compiled jar

executable file

readme

option intraprocedural

example run of twitter

example run of twitter

comments

upload

out folder deleted

bin/out files del

only extracting the specified apk

transform single quote and double quote to appropriate form for the parser"

small bug fix for handling handler.txt

read me message

readme

in progree for data flow paths output for fuzzer as well as apac proj

README for DARPA APAC command line compile and run

README for DARPA APAC command line compile and run

README for DARPA APAC command line compile and run

edits in README

no [obj ... when the java type name starts with L. (found when evaluating luindex in DaCapo benchmark)

DaCapo benchmarks added

--for-intent-fuzzer reworked

README warning information after testing twitter

removing ./class in jdex2sex/bin

removing ./class in jdex2sex/src/.svn

working in progress of --exception option, updated for intent fuzzer file IO exception

modified --exceptions option

code changing bugs

folder bug

folder bug

folder bugs

database change

db, taint source/sinks updates

integrated with clound9

risk ranking reports intergrated to clound9, ready to visulize flow graph

edits in README

missing files