projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
bug fix: if a parent class doesn't define lattice, we don't need to check whether...
[IRC.git]
/
Robust
/
src
/
Analysis
/
Disjoint
/
2011-06-11
jjenista
tinkering with debug stuff for barnes-hut
tree
|
commitdiff
2011-06-10
jjenista
Bug fix: in some cases we really do want the heap regio...
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-05-18
jjenista
bug fix: heap contexts for call sites were propgated...
tree
|
commitdiff
2011-05-16
jjenista
Create analysis model for string literals in disjointne...
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
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-03
jjenista
allow debug reach graphs to show taints but supress...
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
bdemsky
switch to spaces only..
tree
|
commitdiff
2011-04-27
bdemsky
Fix tabbing.... Please fix your editors so they do...
tree
|
commitdiff
2011-04-18
jjenista
bug fix - during call site transfer func we temporarily...
tree
|
commitdiff
2011-04-08
jjenista
detect possibly evil tasks and do the right thing if...
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
stephey
bug fix for refCount in SMFEStates. I'm not sure if...
tree
|
commitdiff
2011-04-06
bdemsky
bug fix
tree
|
commitdiff
2011-04-01
bdemsky
build pruned graphs that encode conflict information...
tree
|
commitdiff
2011-03-30
yeom
bug fixes on OoOJava, now it works fine with all of...
tree
|
commitdiff
2011-03-26
bdemsky
bug fix
tree
|
commitdiff
2011-03-26
bdemsky
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
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 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
fix mistake....allocnodes are like disjoint heapregionn...
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
jjenista
we took DFJ and broke its arm, and we'll reset the...
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
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...do node-based taints...taint edges....
tree
|
commitdiff
2011-03-17
bdemsky
changes towards taints
tree
|
commitdiff
2011-03-16
bdemsky
starting towards taints
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-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-03
jjenista
a test case showing a bug in disjoint analysis basic...
tree
|
commitdiff
2011-02-01
jjenista
honor the easy request of suppressing output for the...
tree
|
commitdiff
2011-01-31
jjenista
cleaning up OoOJava and related systems, touching lots...
tree
|
commitdiff
2011-01-22
stephey
We fixed the bug of where to find the stallsite reachgr...
tree
|
commitdiff
2011-01-21
stephey
Corrected reach graph issue with SESE BLOCKS ONLY....
tree
|
commitdiff
2011-01-10
jjenista
just a little change to keep genreach debug node from...
tree
|
commitdiff
2011-01-10
jjenista
enforce monotonicity in heap contributions from call...
tree
|
commitdiff
2011-01-10
jjenista
make reach graph visualizations tractable
tree
|
commitdiff
2010-11-18
yeom
changes: collects a set of collect effects and generate...
tree
|
commitdiff
2010-10-11
jjenista
two methods for generating a reach graph at any desired...
tree
|
commitdiff
2010-10-05
yeom
try to get more information about flagged sites.
tree
|
commitdiff
2010-10-05
jjenista
cpaturing some makefile updates and have OoOJava print...
tree
|
commitdiff
2010-10-01
jjenista
for timing disjoint reachability in oooJava benchmarks
tree
|
commitdiff
2010-09-22
stephey
Added getter method to get all effects (needed for...
tree
|
commitdiff
2010-09-08
stephey
Jim told me to change the int hashCodeSpecific() functi...
tree
|
commitdiff
2010-08-09
jjenista
did something I shouldnt have, mixed changes for two...
tree
|
commitdiff
2010-08-06
yeom
introduces new flag for runtime conflict resolver.
tree
|
commitdiff
2010-08-02
yeom
changes.
tree
|
commitdiff
2010-07-30
yeom
*** empty log message ***
tree
|
commitdiff
2010-07-30
yeom
changes.
tree
|
commitdiff
2010-07-26
jjenista
bug fix for allowing out-of-contexts taints to flow...
tree
|
commitdiff
2010-07-23
yeom
changes.
tree
|
commitdiff
2010-07-07
stephey
public VariableNode getVariableNodeNoMutation( TempDesc...
tree
|
commitdiff
2010-07-02
jjenista
some subtle reach state bug fixes uncovered by labyrint...
tree
|
commitdiff
2010-06-30
jjenista
debugged the reach graph support for effect conflicts
tree
|
commitdiff
2010-06-30
jjenista
implemented details to support effect conflict detection
tree
|
commitdiff
2010-06-30
yeom
more changes according to new effect analysis
tree
|
commitdiff
2010-06-29
yeom
changes according to new forms of effect analysis
tree
|
commitdiff
2010-06-29
jjenista
tweak to interface
tree
|
commitdiff
2010-06-29
jjenista
reachability query interface for ooojava heap conflict...
tree
|
commitdiff
2010-06-29
jjenista
getting close to effects for new disjoint analysis
tree
|
commitdiff
2010-06-29
jjenista
little bug fix
tree
|
commitdiff
2010-06-29
yeom
changes.
tree
|
commitdiff
2010-06-29
jjenista
stall site critical regions implemented, including...
tree
|
commitdiff
2010-06-28
jjenista
restate inaccessible vars for stall site so facts get...
tree
|
commitdiff
2010-06-28
jjenista
more effects bug fixes
tree
|
commitdiff
2010-06-28
jjenista
bug fixes for effects analysis
tree
|
commitdiff
2010-06-28
jjenista
stall site taints propagate awesomely, get cleared...
tree
|
commitdiff
2010-06-28
jjenista
forgot to add moved files back in, injecting stall...
tree
|
commitdiff
2010-06-28
jjenista
changed organization and brought in a few new pieces...
tree
|
commitdiff
2010-06-28
yeom
add more steps to OoO analysis
tree
|
commitdiff
2010-06-26
yeom
working on the remaining procedures of OoOJava analysis.
tree
|
commitdiff
2010-06-26
jjenista
Do effects as a global space, don't even need to consid...
tree
|
commitdiff
next