Rinard automatic detection and repair errors data structures
 |
|---|
|
|---|
| Lecture Outline |
|---|
|
|---|
| 2 |
|---|
| Speculative Fiction |
|---|
| 3 |
|---|
4
|
|---|
|
|---|
8
|
|---|
| A vision of the |
|---|
| reports and patches. |
|---|
| 11 |
|---|
| A Modest Proposal |
|---|
|
|---|
| 12 |
|---|
| Outline |
|---|
|
|---|
|
|---|
| 13 |
|---|
| Historical Context |
|---|
 |
|---|
14
| – Mauro Pezzè, Milano Bicocca / Lugano |
|---|
| 15 |
|---|
| Historical Context |
|---|
| ● |
|
StackGuard: Automatic adaptive detection and prevention of buffer-overflow
| ● | |
16
| Why not just restart? |
|---|
|
|---|
| 17 |
|---|
| Checkpoint and Restart |
|---|
|
|---|
| 18 |
|---|
| Groundhog Day |
|---|
| 19 |
|---|
| Early “Proto” Program Repair Work |
|---|
|
|---|
●Run-time approach based on constraints [ Demsky, Rinard: Automatic detection and repair of errors in data structures. OOPSLA 2003. ]
