projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
have linear-type-safe source codes of mp3decoder
[IRC.git]
/
Robust
/
src
/
Analysis
/
Pointer
/
2011-08-13
yeom
1) allow to set the maximum threshold for the liveness...
tree
|
commitdiff
2011-06-01
jjenista
check points-to module improvements along with a bug...
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-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-10
jjenista
New tool to check points-to results of a heap analysis...
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-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-01
bdemsky
bug fix for stephen
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-27
bdemsky
more bug fixes
tree
|
commitdiff
2011-03-26
bdemsky
add support for super calls...ie...super.foo()
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
bdemsky
bug fix
tree
|
commitdiff
2011-03-23
bdemsky
bug fixes...
tree
|
commitdiff
2011-03-23
bdemsky
bug fixes
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-21
stephey
Work in progress... I need to rework how to handle...
tree
|
commitdiff
2011-03-21
bdemsky
fixing bugs...
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
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
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-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
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-04
bdemsky
changes
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
2011-02-25
bdemsky
changes
tree
|
commitdiff
2011-02-04
bdemsky
changes
tree
|
commitdiff
2011-01-28
bdemsky
more changes...
tree
|
commitdiff
2011-01-27
bdemsky
more changes
tree
|
commitdiff
2011-01-27
bdemsky
more changes
tree
|
commitdiff
2011-01-26
bdemsky
more work towards new points to analysis
tree
|
commitdiff
2011-01-26
bdemsky
changes
tree
|
commitdiff
2011-01-25
bdemsky
more changes
tree
|
commitdiff
2011-01-25
bdemsky
more changes
tree
|
commitdiff
2011-01-25
bdemsky
more changes
tree
|
commitdiff
2011-01-22
bdemsky
beginning of points-to analysis
tree
|
commitdiff