1) allow to set the maximum threshold for the liveness analysis. if threashold is...
[IRC.git] / Robust / src / Analysis / Pointer / Pointer.java
2011-08-13 yeom1) allow to set the maximum threshold for the liveness...
2011-06-01 jjenistacheck points-to module improvements along with a bug...
2011-05-20 jjenistaallow Pointer to run for usual compilation modes.....
2011-05-20 stepheyFixed import bug but some other issues now pop up:
2011-05-16 jjenistaCreate analysis model for string literals in disjointne...
2011-05-13 jjenistamodel the allocation of string literals in heap analysis
2011-05-13 jjenistathis system checks heap results against runtime pointer...
2011-05-10 jjenistaNew tool to check points-to results of a heap analysis...
2011-04-28 jjenistarun ooojava and rcrpointer that print out effects and...
2011-04-27 bdemskyswitch to spaces only..
2011-04-27 bdemskyFix tabbing.... Please fix your editors so they do...
2011-04-06 bdemskybug fix...wasn't adding out of context nodes that get...
2011-04-06 bdemskybug fix...things are slower to compile...:(
2011-04-01 bdemskybug fix for stephen
2011-03-28 bdemskychanges
2011-03-28 bdemskybug fix...
2011-03-28 bdemskyhave to treat reads of inaccessible variables that...
2011-03-27 bdemskymore bug fixes
2011-03-26 bdemskyadd support for super calls...ie...super.foo()
2011-03-24 bdemskyBug fix...supposed to pass in bsm into Pointer analysis...
2011-03-24 bdemskyinitial taint should have null whereDefined so we don...
2011-03-23 bdemskybug fix
2011-03-23 bdemskybug fixes...
2011-03-23 bdemskybug fixes
2011-03-22 bdemskybug fixes
2011-03-22 bdemskyfix mistake....allocnodes are like disjoint heapregionn...
2011-03-22 bdemskychanges to give compiler run times for phases....
2011-03-21 bdemskyfixing bugs...
2011-03-18 bdemskymore bug fixes
2011-03-18 bdemskymore changes...
2011-03-18 bdemskychanges
2011-03-18 bdemskymore changes
2011-03-18 bdemskycommit hacks to effect analysis...interfaces to allow...
2011-03-18 bdemskyPatch in effects analysis hooks....have to add new...
2011-03-18 bdemskymy changes
2011-03-17 bdemskymore changes...
2011-03-17 bdemskymore changes...do node-based taints...taint edges....
2011-03-17 bdemskycompiling again...
2011-03-17 bdemskychanges towards taints
2011-03-16 bdemskypushing changes
2011-03-16 bdemskystarting towards taints
2011-03-15 bdemskybug fix...can now analyze specjbb...~44,000 lines of...
2011-03-15 bdemskysmall hacks to speed up stuff...don't compute graphs...
2011-03-15 bdemskybug fixes for the day....lots of them
2011-03-14 bdemskylots of bugs
2011-03-11 bdemskyrunning on some benchmarks....
2011-03-11 bdemskyanother benchmark working
2011-03-11 bdemskya few more bugs fixed...lots of debug code
2011-03-10 bdemskymore bug fixes...
2011-03-10 bdemskyeven more bug fixes...3 test cases work
2011-03-10 bdemskymore bug fixes...two examples working
2011-03-10 bdemskybug fixes...
2011-03-10 bdemskybug fixes
2011-03-09 bdemskychanges
2011-03-04 bdemskychanges
2011-03-03 bdemskymore code changes
2011-03-03 bdemskychanges
2011-03-03 bdemskymore changes
2011-03-02 bdemskymore code cleanup
2011-03-02 bdemskycode cleanup
2011-03-02 bdemskychanges towards making this work
2011-02-25 bdemskychanges
2011-02-04 bdemskychanges
2011-01-28 bdemskymore changes...
2011-01-27 bdemskymore changes
2011-01-27 bdemskymore changes
2011-01-26 bdemskymore work towards new points to analysis
2011-01-26 bdemskychanges
2011-01-25 bdemskymore changes
2011-01-25 bdemskymore changes
2011-01-25 bdemskymore changes
2011-01-22 bdemskybeginning of points-to analysis