Refining buffer overflow detection via demand-driven path-sensitive analysis

@inproceedings{Le2007RefiningBO,
  title={Refining buffer overflow detection via demand-driven path-sensitive analysis},
  author={Wei Le and Mary Lou Soffa},
  booktitle={PASTE},
  year={2007}
}
Although static analysis is an important technique for detecting buffer overflow before software deployment, current static tools rely on considerable human effort for annotating code to help analysis, or for diagnosing warnings, many of which are false positives. This paper presents an analysis technique that refines information about the paths that involve a potential buffer overflow to help in the diagnosis and debugging of vulnerabilities. Instead of only reporting a vulnerable buffer or… CONTINUE READING

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…