Detta dokument tar upp frågan om att identifiera sårbarheter för buffertöverskridande genom att statiskt analysera C-källkod. Vi demonstrerar en lättviktsanalys baserad på modellering av C-strängsmanipulationer som ett linjärt program. Vi presenterar också snabba, skalbara lösare baserade på linjär programmering, och demonstrerar tekniker för att göra programmets analys kontext känslig. Baserat på dessa tekniker byggde vi en prototyp och använde den för att identifiera flera sårbarheter i populära säkerhetskritiska applikationer.
REF föreslog en kontextkänslig ljus-vikt analys modellering strängmanipuleringar som ett linjärt program för att upptäcka buffert överskridande sårbarheter.
Buffer overrun detection using linear programming and static analysis
{'venue': "CCS '03", 'journal': None, 'mag_field_of_study': ['Computer Science']}