Statically Detecting Likely Buffer Overflow Vulnerablitites

10 December 2001

David Larochelle

Conclusion

•2014:???

–Will buffer overflows still be common?

–Codify security knowledge in tools real programmers can use

Beta version now available: http://lclint.cs.virginia.edu

David Larochelle David Evans

larochelle@cs.virginia.edu evans@cs.virginia.edu