projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
show source code line numbers for this target
[IRC.git]
/
Robust
/
src
/
Analysis
/
2011-05-11
jjenista
only do this if we are using oooj-style tasks after...
tree
|
commitdiff
2011-05-10
jjenista
New tool to check points-to results of a heap analysis...
tree
|
commitdiff
2011-05-05
jjenista
disjoint should work like pointer in that taints for...
tree
|
commitdiff
2011-05-05
jjenista
an outstanding change to improve debugging of call...
tree
|
commitdiff
2011-05-05
jzhou
Polish multicore code
tree
|
commitdiff
2011-05-04
yeom
small changes: have a way to specify the location of...
tree
|
commitdiff
2011-05-03
jjenista
allow debug reach graphs to show taints but supress...
tree
|
commitdiff
2011-05-03
yeom
changes.
tree
|
commitdiff
2011-04-29
yeom
changes: now, the annotated SSJava class library passes...
tree
|
commitdiff
2011-04-28
jjenista
improve call site debugging for disjoint
tree
|
commitdiff
2011-04-28
jjenista
run ooojava and rcrpointer that print out effects and...
tree
|
commitdiff
2011-04-27
yeom
changes to get the tiny class library for ssjava
tree
|
commitdiff
2011-04-27
bdemsky
switch to spaces only..
tree
|
commitdiff
2011-04-27
bdemsky
Fix tabbing.... Please fix your editors so they do...
tree
|
commitdiff
2011-04-25
jjenista
update the way this analysis visits every method reacha...
tree
|
commitdiff
2011-04-23
yeom
interim changes: ssjava will have its own class library...
tree
|
commitdiff
2011-04-22
yeom
changes: make location an extension of type descriptor...
tree
|
commitdiff
2011-04-21
bdemsky
missing files
tree
|
commitdiff
2011-04-20
bdemsky
changes to make sure that i don't step on stephen's...
tree
|
commitdiff
2011-04-19
yeom
changes.
tree
|
commitdiff
2011-04-18
yeom
handle the missing case in the flow down analysis:...
tree
|
commitdiff
2011-04-18
yeom
bug fixes: printing out linenum & source file name...
tree
|
commitdiff
2011-04-18
bdemsky
make callgraph an interface
tree
|
commitdiff
2011-04-18
jjenista
bug fix - during call site transfer func we temporarily...
tree
|
commitdiff
2011-04-18
yeom
reorganize.
tree
|
commitdiff
2011-04-15
yeom
changes.
tree
|
commitdiff
2011-04-14
yeom
extends the grammar to have a way to define a new type...
tree
|
commitdiff
2011-04-13
bdemsky
change
tree
|
commitdiff
2011-04-13
yeom
changes.
tree
|
commitdiff
2011-04-12
bdemsky
bug fix for optimizations`
tree
|
commitdiff
2011-04-12
yeom
changes.
tree
|
commitdiff
2011-04-11
yeom
changes.
tree
|
commitdiff
2011-04-09
bdemsky
get specjbb compiling again...get rid of annoying warni...
tree
|
commitdiff
2011-04-09
bdemsky
checkin to only generate C for callable methods...
tree
|
commitdiff
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
next