Programming Languages Research Group: Git - IRC.git/history - Robust/src/IR/Flat/BCXPointsToCheckVRuntime.java

2011-06-02	jjenista	forgot to remove some commented out code	blob \| commitdiff \| raw
2011-06-01	jjenista	if a static field is encountered, ignore it gracefully	blob \| commitdiff \| raw \| diff to current
2011-06-01	jjenista	check points-to module improvements along with a bug...	blob \| commitdiff \| raw \| diff to current
2011-05-18	jjenista	bug fix: heap contexts for call sites were propgated...	blob \| commitdiff \| raw \| diff to current
2011-05-14	jjenista	print allocation site when a points-to check fails...	blob \| commitdiff \| raw \| diff to current
2011-05-13	jjenista	model the allocation of string literals in heap analysis	blob \| commitdiff \| raw \| diff to current
2011-05-13	jjenista	this system checks heap results against runtime pointer...	blob \| commitdiff \| raw \| diff to current
2011-05-11	jjenista	differentiate between analysis says something points...	blob \| commitdiff \| raw \| diff to current
2011-05-10	jjenista	New tool to check points-to results of a heap analysis...	blob \| commitdiff \| raw \| diff to current

Irvine Research Compiler