| Title: |
Validation of memory accesses through symbolic analyses |
| Article URLs: |
|
| Alternative Article URLs: |
https://homepages.dcc.ufmg.br/~fernando/publications/papers/OOPSLA14.pdf |
| Authors: |
Henrique Nazaré |
-
Universidade Federal de Minas Gerais, Computer Science
|
| Izabela Maffra |
-
Universidade Federal de Minas Gerais, Computer Science
|
| Willer Santos |
-
Universidade Federal de Minas Gerais, Computer Science
|
| Leonardo Barbosa e Oliveira |
-
Universidade Federal de Minas Gerais, Computer Science
|
| Laure Gonnord |
|
| Fernando Magno Quintão Pereira |
-
Universidade Federal de Minas Gerais, Computer Science
|
| Sharing: |
Research produced artifacts
|
| Verification: |
Authors have
verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/oopsla/NazareMSBGP14
|
| Author Comments: |
The link only contains the symbolic range analysis that we have used in the paper. We have further improved it, since that publication. The most recent version of the range analysis is used in DawnCC, available at: http://cuda.dcc.ufmg.br/dawn/ |