projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
more changes.
[IRC.git]
/
Robust
/
src
/
Analysis
/
2011-04-08
jjenista
detect possibly evil tasks and do the right thing if...
tree
|
commitdiff
2011-04-08
yeom
fixes -nostalltr flag: if it is valid to prune heap...
tree
|
commitdiff
2011-04-07
jjenista
bug fix, at task exit we are looking for sources that...
tree
|
commitdiff
2011-04-06
bdemsky
D2 bug
tree
|
commitdiff
2011-04-06
bdemsky
bug and remove debug code
tree
|
commitdiff
2011-04-06
bdemsky
get back some of the speed we are losing from bug fixes...
tree
|
commitdiff
2011-04-06
bdemsky
bug fix...wasn't adding out of context nodes that get...
tree
|
commitdiff
2011-04-06
bdemsky
bug fix...things are slower to compile...:(
tree
|
commitdiff
2011-04-06
stephey
bug fix for refCount in SMFEStates. I'm not sure if...
tree
|
commitdiff
2011-04-06
bdemsky
bug fix
tree
|
commitdiff
2011-04-05
jjenista
get this debug print out of here
tree
|
commitdiff
2011-04-05
jjenista
at task exit, a task should acquire any out-set variabl...
tree
|
commitdiff
2011-04-03
yeom
changes: build conflict graphs that have line number...
tree
|
commitdiff
2011-04-01
bdemsky
build pruned graphs that encode conflict information...
tree
|
commitdiff
2011-04-01
bdemsky
bug fix for stephen
tree
|
commitdiff
2011-03-31
yeom
changes: reorganizes debug messages
tree
|
commitdiff
2011-03-31
yeom
changes: only apply the variable analysis on the method...
tree
|
commitdiff
2011-03-30
yeom
bug fixes on OoOJava, now it works fine with all of...
tree
|
commitdiff
2011-03-28
bdemsky
changes
tree
|
commitdiff
2011-03-28
bdemsky
bug fix...
tree
|
commitdiff
2011-03-28
bdemsky
have to treat reads of inaccessible variables that...
tree
|
commitdiff
2011-03-28
bdemsky
changes...
tree
|
commitdiff
2011-03-28
bdemsky
another bug fix...need to visit everything once also..
tree
|
commitdiff
2011-03-28
bdemsky
could infinite loop under some cases...think this fixes...
tree
|
commitdiff
2011-03-28
yeom
bug fix on RBlockRelationAnalysis: found that status...
tree
|
commitdiff
2011-03-27
bdemsky
more bug fixes
tree
|
commitdiff
2011-03-26
bdemsky
bug fix
tree
|
commitdiff
2011-03-26
bdemsky
hacks to improve speed...including turning off debugging
tree
|
commitdiff
2011-03-26
bdemsky
changes
tree
|
commitdiff
2011-03-26
bdemsky
add support for super calls...ie...super.foo()
tree
|
commitdiff
2011-03-26
yeom
changes.
tree
|
commitdiff
2011-03-25
bdemsky
bug fix
tree
|
commitdiff
2011-03-25
bdemsky
changes
tree
|
commitdiff
2011-03-25
bdemsky
try to get runtimeconflictresolver working...and cleani...
tree
|
commitdiff
2011-03-25
bdemsky
changes to process/prune state machines
tree
|
commitdiff
2011-03-25
bdemsky
class to prune/process state machines
tree
|
commitdiff
2011-03-24
bdemsky
add lookup tables for effects
tree
|
commitdiff
2011-03-24
yeom
changes on ssjava.
tree
|
commitdiff
2011-03-24
bdemsky
Bug fix...supposed to pass in bsm into Pointer analysis...
tree
|
commitdiff
2011-03-24
bdemsky
initial taint should have null whereDefined so we don...
tree
|
commitdiff
2011-03-23
stephey
Changed a lot of things in RCR. It works for the most...
tree
|
commitdiff
2011-03-23
bdemsky
bug fix
tree
|
commitdiff
2011-03-23
bdemsky
bug fixes...
tree
|
commitdiff
2011-03-23
bdemsky
bug fixes
tree
|
commitdiff
2011-03-23
stephey
Jim told me to do this...
tree
|
commitdiff
2011-03-23
jjenista
changed options in code to actually print reach states...
tree
|
commitdiff
2011-03-22
bdemsky
bug fixes
tree
|
commitdiff
2011-03-22
bdemsky
small bug
tree
|
commitdiff
2011-03-22
bdemsky
fix mistake....allocnodes are like disjoint heapregionn...
tree
|
commitdiff
2011-03-22
bdemsky
changes to give compiler run times for phases....
tree
|
commitdiff
2011-03-22
bdemsky
change so that new analysis runs for all benchmarks
tree
|
commitdiff
2011-03-22
yeom
bug fix on the glb function of the lattice + working...
tree
|
commitdiff
2011-03-21
stephey
Work in progress... I need to rework how to handle...
tree
|
commitdiff
2011-03-21
bdemsky
fixing bugs...
tree
|
commitdiff
2011-03-19
yeom
changes.
tree
|
commitdiff
2011-03-19
jjenista
we took DFJ and broke its arm, and we'll reset the...
tree
|
commitdiff
2011-03-19
bdemsky
changes...extra accessible analysis
tree
|
commitdiff
2011-03-18
jjenista
changing to new traversers/examiners
tree
|
commitdiff
2011-03-18
bdemsky
more bug fixes
tree
|
commitdiff
2011-03-18
bdemsky
more changes...
tree
|
commitdiff
2011-03-18
bdemsky
changes
tree
|
commitdiff
2011-03-18
bdemsky
more changes
tree
|
commitdiff
2011-03-18
bdemsky
commit hacks to effect analysis...interfaces to allow...
tree
|
commitdiff
2011-03-18
bdemsky
Patch in effects analysis hooks....have to add new...
tree
|
commitdiff
2011-03-18
bdemsky
need to decouple effects from AllocSite
tree
|
commitdiff
2011-03-18
bdemsky
my changes
tree
|
commitdiff
2011-03-17
bdemsky
more changes...
tree
|
commitdiff
2011-03-17
bdemsky
more changes...do node-based taints...taint edges....
tree
|
commitdiff
2011-03-17
bdemsky
compiling again...
tree
|
commitdiff
2011-03-17
yeom
keep the current snapshot before making further changes.
tree
|
commitdiff
2011-03-17
bdemsky
changes towards taints
tree
|
commitdiff
2011-03-16
bdemsky
pushing changes
tree
|
commitdiff
2011-03-16
bdemsky
starting towards taints
tree
|
commitdiff
2011-03-15
bdemsky
bug fix...can now analyze specjbb...~44,000 lines of...
tree
|
commitdiff
2011-03-15
bdemsky
small hacks to speed up stuff...don't compute graphs...
tree
|
commitdiff
2011-03-15
bdemsky
bug fixes for the day....lots of them
tree
|
commitdiff
2011-03-15
yeom
refactoring the lattice implementation / having a way...
tree
|
commitdiff
2011-03-14
bdemsky
lots of bugs
tree
|
commitdiff
2011-03-11
bdemsky
running on some benchmarks....
tree
|
commitdiff
2011-03-11
bdemsky
another benchmark working
tree
|
commitdiff
2011-03-11
bdemsky
a few more bugs fixed...lots of debug code
tree
|
commitdiff
2011-03-10
jjenista
public interface for the later compiler phases
tree
|
commitdiff
2011-03-10
jjenista
state machines for traverers seem to be working for...
tree
|
commitdiff
2011-03-10
bdemsky
more bug fixes...
tree
|
commitdiff
2011-03-10
bdemsky
even more bug fixes...3 test cases work
tree
|
commitdiff
2011-03-10
bdemsky
more bug fixes...two examples working
tree
|
commitdiff
2011-03-10
bdemsky
bug fixes...
tree
|
commitdiff
2011-03-10
bdemsky
bug fixes
tree
|
commitdiff
2011-03-09
bdemsky
changes
tree
|
commitdiff
2011-03-05
yeom
introduce new flag -ssjava for enabling SSJava feature...
tree
|
commitdiff
2011-03-05
jjenista
more code for state machines in dfj traversers
tree
|
commitdiff
2011-03-04
jjenista
extend taints for a new mode in DFJ that helps build...
tree
|
commitdiff
2011-03-04
bdemsky
changes
tree
|
commitdiff
2011-03-03
jjenista
a test case showing a bug in disjoint analysis basic...
tree
|
commitdiff
2011-03-03
bdemsky
more code changes
tree
|
commitdiff
2011-03-03
bdemsky
changes
tree
|
commitdiff
2011-03-03
bdemsky
more changes
tree
|
commitdiff
2011-03-02
bdemsky
more code cleanup
tree
|
commitdiff
2011-03-02
bdemsky
code cleanup
tree
|
commitdiff
2011-03-02
bdemsky
changes towards making this work
tree
|
commitdiff
next