| commit | 03924b87a0db5dc9b6c6151d00d5eda819d47192 | |
| author | Cedric Bastoul <cedric.bastoul@u-psud.fr> | |
| Sat, 18 Jun 2011 11:12:48 +0000 (18 13:12 +0200) | ||
| committer | Cedric Bastoul <cedric.bastoul@u-psud.fr> | |
| Sat, 18 Jun 2011 11:12:48 +0000 (18 13:12 +0200) | ||
| tree | e495411b888446bef15778b8fc5d6f207ebea712 | treesnapshot (tar.gz zip) |
| parent | 75efb37fc329e0ff332de43cc88a4ae043c55459 | commitdiff |
Complete integrity check for array accesses
| include/openscop/macros.h | diffblobblamehistory | |
| source/relation.c | diffblobblamehistory | |
| source/scop.c | diffblobblamehistory | |
| tests/test_no_write.scop | [new file with mode: 0644] | blob |