Tracking pointers with path and context sensitivity for bug detection in C programs. Livshits, B. & Lam, M. ACM SIGSOFT Software Engineering Notes, 2003. Paper bibtex @article{
id = {228c54dd-a511-30ea-a085-12a57d01453a},
title = {Tracking pointers with path and context sensitivity for bug detection in C programs},
type = {article},
year = {2003},
identifiers = {[object Object]},
keywords = {buffer overruns,context-sensitive anal-,error detection,path-sensitive analysis,pointer analysis,program analysis,program representation,security flaws,ssa representation,ysis},
created = {2013-12-30T20:59:16.000Z},
websites = {http://dl.acm.org/citation.cfm?id=940114},
accessed = {2013-12-30},
file_attached = {true},
profile_id = {004bdeb9-12f7-3879-957f-241cda5af41a},
last_modified = {2014-06-23T20:42:24.000Z},
read = {false},
starred = {false},
authored = {true},
confirmed = {true},
hidden = {false},
citation_key = {Livshits2003},
client_data = {"desktop_id":"2bd54772-d65d-45b6-a23d-6005756e47a1"},
bibtype = {article},
author = {Livshits, Benjamin and Lam, MS},
journal = {ACM SIGSOFT Software Engineering Notes}
}
Downloads: 0
{"_id":"yjDN3HWLapddpFzS5","authorIDs":[],"author_short":["Livshits, B.","Lam, M."],"bibbaseid":"livshits-lam-trackingpointerswithpathandcontextsensitivityforbugdetectionincprograms-2003","bibdata":{"id":"228c54dd-a511-30ea-a085-12a57d01453a","title":"Tracking pointers with path and context sensitivity for bug detection in C programs","type":"article","year":"2003","identifiers":"[object Object]","keywords":"buffer overruns,context-sensitive anal-,error detection,path-sensitive analysis,pointer analysis,program analysis,program representation,security flaws,ssa representation,ysis","created":"2013-12-30T20:59:16.000Z","websites":"http://dl.acm.org/citation.cfm?id=940114","accessed":"2013-12-30","file_attached":"true","profile_id":"004bdeb9-12f7-3879-957f-241cda5af41a","last_modified":"2014-06-23T20:42:24.000Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"Livshits2003","client_data":"\"desktop_id\":\"2bd54772-d65d-45b6-a23d-6005756e47a1\"","bibtype":"article","author":"Livshits, Benjamin and Lam, MS","journal":"ACM SIGSOFT Software Engineering Notes","bibtex":"@article{\n id = {228c54dd-a511-30ea-a085-12a57d01453a},\n title = {Tracking pointers with path and context sensitivity for bug detection in C programs},\n type = {article},\n year = {2003},\n identifiers = {[object Object]},\n keywords = {buffer overruns,context-sensitive anal-,error detection,path-sensitive analysis,pointer analysis,program analysis,program representation,security flaws,ssa representation,ysis},\n created = {2013-12-30T20:59:16.000Z},\n websites = {http://dl.acm.org/citation.cfm?id=940114},\n accessed = {2013-12-30},\n file_attached = {true},\n profile_id = {004bdeb9-12f7-3879-957f-241cda5af41a},\n last_modified = {2014-06-23T20:42:24.000Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {Livshits2003},\n client_data = {\"desktop_id\":\"2bd54772-d65d-45b6-a23d-6005756e47a1\"},\n bibtype = {article},\n author = {Livshits, Benjamin and Lam, MS},\n journal = {ACM SIGSOFT Software Engineering Notes}\n}","author_short":["Livshits, B.","Lam, M."],"urls":{"Paper":"http://bibbase.org/service/mendeley/004bdeb9-12f7-3879-957f-241cda5af41a/file/1a49dece-f2ae-164b-2785-b6ce00ffec1f/Tracking pointers with path and context sensitivity for bug detection in C programs.pdf"},"bibbaseid":"livshits-lam-trackingpointerswithpathandcontextsensitivityforbugdetectionincprograms-2003","role":"author","keyword":["buffer overruns","context-sensitive anal-","error detection","path-sensitive analysis","pointer analysis","program analysis","program representation","security flaws","ssa representation","ysis"],"downloads":0},"bibtype":"article","biburl":null,"creationDate":"2014-11-06T00:16:25.389Z","downloads":0,"keywords":["buffer overruns","context-sensitive anal-","error detection","path-sensitive analysis","pointer analysis","program analysis","program representation","security flaws","ssa representation","ysis"],"search_terms":["tracking","pointers","path","context","sensitivity","bug","detection","programs","livshits","lam"],"title":"Tracking pointers with path and context sensitivity for bug detection in C programs","year":2003}