3 ms·
https://www.cs.rutgers.edu/~santosh.nagarakatte/softbound/ https://www.cs.rutgers.edu/~santosh.nagarakatte/softbound/ http://sva.cs.illinois.edu/index.html htt
by zzzcpan 10y ago
https://www.cs.rutgers.edu/~santosh.nagarakatte/softbound/ https://www.cs.rutgers.edu/~santosh.nagarakatte/softbound/
http://sva.cs.illinois.edu/index.html http://sva.cs.illinois.edu/index.html
http://chrisseaton.com/plas15/safec.pdf http://chrisseaton.com/plas15/safec.pdf
- pron 10y agoLooks interesting and I see that some of the solutions use static analysis, too, but your links are all academic projects. Are there any production quality memory-safe compilers yet?