projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
back out debug options
[IRC.git]
/
Robust
/
src
/
Analysis
/
2011-06-22
yeom
bug fixes + integrate loop termination analysis into...
tree
|
commitdiff
2011-06-21
yeom
have Javadoc-style method comments.
tree
|
commitdiff
2011-06-21
yeom
reflects today's comments
tree
|
commitdiff
2011-06-21
yeom
changes.
tree
|
commitdiff
2011-06-21
yeom
convert it to the must analysis
tree
|
commitdiff
2011-06-20
yeom
changes.
tree
|
commitdiff
2011-06-19
yeom
changes.
tree
|
commitdiff
2011-06-18
yeom
start implementing loop termination analysis: for the...
tree
|
commitdiff
2011-06-14
yeom
fixes on GLB and returnloc calculation, etc.
tree
|
commitdiff
2011-06-11
jjenista
tinkering with debug stuff for barnes-hut
tree
|
commitdiff
2011-06-11
yeom
fix bugs and changes on method checking
tree
|
commitdiff
2011-06-10
jjenista
Bug fix: in some cases we really do want the heap regio...
tree
|
commitdiff
2011-06-03
yeom
improves the strategy of checkings: starting from ssjav...
tree
|
commitdiff
2011-06-03
jjenista
fixed a bug where a single argument is passed in as...
tree
|
commitdiff
2011-06-02
jjenista
without this the call stie debug was capturing an immen...
tree
|
commitdiff
2011-06-01
jjenista
check points-to module improvements along with a bug...
tree
|
commitdiff
2011-06-01
yeom
having a location namespace. location names appeared...
tree
|
commitdiff
2011-05-31
yeom
add one more checking, class inheritance: If a class...
tree
|
commitdiff
2011-05-31
jjenista
name flat IR graphs to include method signature to...
tree
|
commitdiff
2011-05-25
yeom
fixes on bugs and checking of method invocation:
tree
|
commitdiff
2011-05-24
yeom
bug fixes and few extra things:
tree
|
commitdiff
2011-05-23
yeom
having a new check that verifies the single reference...
tree
|
commitdiff
2011-05-20
yeom
fix bugs on the flow down rule and start annotating...
tree
|
commitdiff
2011-05-20
jjenista
allow Pointer to run for usual compilation modes.....
tree
|
commitdiff
2011-05-20
stephey
Fixed import bug but some other issues now pop up:
tree
|
commitdiff
2011-05-19
yeom
changes.
tree
|
commitdiff
2011-05-18
jjenista
bug fix: heap contexts for call sites were propgated...
tree
|
commitdiff
2011-05-18
yeom
more changes.
tree
|
commitdiff
2011-05-18
yeom
changes.
tree
|
commitdiff
2011-05-18
yeom
changes to reflect ssjava design changes and temporaril...
tree
|
commitdiff
2011-05-16
jjenista
Create analysis model for string literals in disjointne...
tree
|
commitdiff
2011-05-13
yeom
take out all of ssjava stuff from state class and start...
tree
|
commitdiff
2011-05-13
jjenista
model the allocation of string literals in heap analysis
tree
|
commitdiff
2011-05-13
jjenista
this system checks heap results against runtime pointer...
tree
|
commitdiff
2011-05-11
jjenista
differentiate between analysis says something points...
tree
|
commitdiff
2011-05-11
jjenista
revert previous change: DROPPING THE GRUNGE HAMMER...
tree
|
commitdiff
2011-05-11
jjenista
allow external systems to write a flatIR graph
tree
|
commitdiff
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
next