switch to spaces only..
[IRC.git] / Robust / src / Analysis /
2011-04-27 bdemskyswitch to spaces only..
2011-04-27 bdemskyFix tabbing.... Please fix your editors so they do...
2011-04-25 jjenistaupdate the way this analysis visits every method reacha...
2011-04-23 yeominterim changes: ssjava will have its own class library...
2011-04-22 yeomchanges: make location an extension of type descriptor...
2011-04-21 bdemskymissing files
2011-04-20 bdemskychanges to make sure that i don't step on stephen's...
2011-04-19 yeomchanges.
2011-04-18 yeomhandle the missing case in the flow down analysis:...
2011-04-18 yeombug fixes: printing out linenum & source file name...
2011-04-18 bdemskymake callgraph an interface
2011-04-18 jjenistabug fix - during call site transfer func we temporarily...
2011-04-18 yeomreorganize.
2011-04-15 yeomchanges.
2011-04-14 yeomextends the grammar to have a way to define a new type...
2011-04-13 bdemskychange
2011-04-13 yeomchanges.
2011-04-12 bdemskybug fix for optimizations`
2011-04-12 yeomchanges.
2011-04-11 yeomchanges.
2011-04-09 bdemskyget specjbb compiling again...get rid of annoying warni...
2011-04-09 bdemskycheckin to only generate C for callable methods...
2011-04-08 jjenistadetect possibly evil tasks and do the right thing if...
2011-04-08 yeomfixes -nostalltr flag: if it is valid to prune heap...
2011-04-07 jjenistabug fix, at task exit we are looking for sources that...
2011-04-06 bdemskyD2 bug
2011-04-06 bdemskybug and remove debug code
2011-04-06 bdemskyget back some of the speed we are losing from bug fixes...
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-06 stepheybug fix for refCount in SMFEStates. I'm not sure if...
2011-04-06 bdemskybug fix
2011-04-05 jjenistaget this debug print out of here
2011-04-05 jjenistaat task exit, a task should acquire any out-set variabl...
2011-04-03 yeomchanges: build conflict graphs that have line number...
2011-04-01 bdemskybuild pruned graphs that encode conflict information...
2011-04-01 bdemskybug fix for stephen
2011-03-31 yeomchanges: reorganizes debug messages
2011-03-31 yeomchanges: only apply the variable analysis on the method...
2011-03-30 yeombug fixes on OoOJava, now it works fine with all of...
2011-03-28 bdemskychanges
2011-03-28 bdemskybug fix...
2011-03-28 bdemskyhave to treat reads of inaccessible variables that...
2011-03-28 bdemskychanges...
2011-03-28 bdemskyanother bug fix...need to visit everything once also..
2011-03-28 bdemskycould infinite loop under some cases...think this fixes...
2011-03-28 yeombug fix on RBlockRelationAnalysis: found that status...
2011-03-27 bdemskymore bug fixes
2011-03-26 bdemskybug fix
2011-03-26 bdemskyhacks to improve speed...including turning off debugging
2011-03-26 bdemskychanges
2011-03-26 bdemskyadd support for super calls...ie...super.foo()
2011-03-26 yeomchanges.
2011-03-25 bdemskybug fix
2011-03-25 bdemskychanges
2011-03-25 bdemskytry to get runtimeconflictresolver working...and cleani...
2011-03-25 bdemskychanges to process/prune state machines
2011-03-25 bdemskyclass to prune/process state machines
2011-03-24 bdemskyadd lookup tables for effects
2011-03-24 yeomchanges on ssjava.
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 stepheyChanged a lot of things in RCR. It works for the most...
2011-03-23 bdemskybug fix
2011-03-23 bdemskybug fixes...
2011-03-23 bdemskybug fixes
2011-03-23 stepheyJim told me to do this...
2011-03-23 jjenistachanged options in code to actually print reach states...
2011-03-22 bdemskybug fixes
2011-03-22 bdemskysmall bug
2011-03-22 bdemskyfix mistake....allocnodes are like disjoint heapregionn...
2011-03-22 bdemskychanges to give compiler run times for phases....
2011-03-22 bdemskychange so that new analysis runs for all benchmarks
2011-03-22 yeombug fix on the glb function of the lattice + working...
2011-03-21 stepheyWork in progress... I need to rework how to handle...
2011-03-21 bdemskyfixing bugs...
2011-03-19 yeomchanges.
2011-03-19 jjenistawe took DFJ and broke its arm, and we'll reset the...
2011-03-19 bdemskychanges...extra accessible analysis
2011-03-18 jjenistachanging to new traversers/examiners
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 bdemskyneed to decouple effects from AllocSite
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 yeomkeep the current snapshot before making further changes.
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-15 yeomrefactoring the lattice implementation / having a way...
2011-03-14 bdemskylots of bugs
next