Programming Languages Research Group: Git - IRC.git/history - Robust/src/Analysis/Disjoint/PointerMethod.java

2011-09-22	jjenista	Be able to get def reach state out at a given program...	blob \| commitdiff \| raw
2011-05-13	jjenista	model the allocation of string literals in heap analysis	blob \| commitdiff \| raw \| diff to current
2011-04-27	bdemsky	switch to spaces only..	blob \| commitdiff \| raw \| diff to current
2011-04-27	bdemsky	Fix tabbing.... Please fix your editors so they do...	blob \| commitdiff \| raw \| diff to current
2011-03-16	bdemsky	starting towards taints	blob \| commitdiff \| raw \| diff to current
2010-10-11	jjenista	two methods for generating a reach graph at any desired...	blob \| commitdiff \| raw \| diff to current
2010-06-22	jjenista	got the hooks in place to get taints for rblocks	blob \| commitdiff \| raw \| diff to current
2010-03-31	jjenista	enforce strict monotonicity for initial method contexts...	blob \| commitdiff \| raw \| diff to current
2010-03-30	jjenista	bug fixes, make stack/Q method-visiting a cmd line...	blob \| commitdiff \| raw \| diff to current
2010-03-25	bdemsky	bug fixes and optimizations	blob \| commitdiff \| raw \| diff to current
2010-03-25	bdemsky	little optimization to allow it to quickly recompute...	blob \| commitdiff \| raw \| diff to current
2010-03-25	bdemsky	code for Jim to use once he gets everything working...	blob \| commitdiff \| raw \| diff to current

Irvine Research Compiler