projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5b0cd4) | patch
allow Pointer to run for usual compilation modes... added a todo that points-to check...
authorjjenista <jjenista>
Fri, 20 May 2011 18:26:31 +0000 (18:26 +0000)
committerjjenista <jjenista>
Fri, 20 May 2011 18:26:31 +0000 (18:26 +0000)
commit9084969e24b064e799f845810b4a15e135dc6bf2
tree5b42e06be9008898affe1526b87dad57d3494cc6tree | snapshot
parentb5b0cd4ffcb94c1f82aff3c265e719543c48f71dcommit | diff
allow Pointer to run for usual compilation modes... added a todo that points-to checks at runtime need some extra modeling for string literals added to Pointer before that system will work.
Robust/src/Analysis/Pointer/Pointer.java diff | blob | history
Robust/src/IR/Flat/BCXallocsiteObjectField.java diff | blob | history
Irvine Research Compiler