|
|
|
|
|
|
by armchairhacker
1692 days ago
|
|
|
This seems like a great use case for formal methods. e.g. in this case EXIF removers which are formally verified to not crash and successfully remove the identifying data. These types of programs are relatively simple, and this is a case where a formal proof is much better than reliability. Is anyone aware of research on this? |
|
|