{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T07:10:22Z","timestamp":1766733022689,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/sccc.2016.7835996","type":"proceedings-article","created":{"date-parts":[[2017,2,7]],"date-time":"2017-02-07T21:12:51Z","timestamp":1486501971000},"page":"1-12","source":"Crossref","is-referenced-by-count":13,"title":["An user configurable clang static analyzer taint checker"],"prefix":"10.1109","author":[{"given":"Marcelo","family":"Arroyo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Chiotta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Bavera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","first-page":"3440","article-title":"Exhaustive Test-case Generation using Symbolic Execution","volume":"52","author":"uehara","year":"2016","journal-title":"FUJITSU Sci Tech J"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07317-0_7"},{"journal-title":"Remote Policy Enforcement Using Java Virtual Machine","year":"2010","author":"nair","key":"ref30"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44577-3_6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"journal-title":"Clang Static Analyzer","year":"0","key":"ref13"},{"journal-title":"Coverity Scan Static Analysis","year":"0","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/52.976940"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1052883.1052895","article-title":"Finding Bugs is Easy","volume":"39","author":"hovemeyer","year":"2004","journal-title":"ACM SIGPLAN Notices"},{"journal-title":"Dynamic Taint Analysis for Automatic Detection Analysis and Signature Generation of Exploits on Commodity Software","year":"2004","author":"newsome","key":"ref17"},{"key":"ref18","article-title":"Taint Analysis: Automatic Detection, Analysis, and Signature Generation of Exploit Attacks on Commodity Software","author":"newsome","year":"2005","journal-title":"Proc Symp Network and Distributed System Security"},{"journal-title":"Open Wb Application Security Project","year":"0","key":"ref19"},{"key":"ref28","article-title":"Considerations for Secure ComputerSystems","author":"biba","year":"1977","journal-title":"ESD-TR-76-372"},{"journal-title":"OCLint oclint org\/","year":"0","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"journal-title":"Clang","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3"},{"key":"ref5","article-title":"Lint, a C program checker","volume":"65","author":"johnson","year":"1977","journal-title":"Computer Science Technical Report"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"journal-title":"LLVM","year":"0","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-44599-1_13"},{"journal-title":"The GNU Compiler Collection (GCC)","year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-48092-7_6","article-title":"Type and Effect Systems","author":"nielson","year":"1999","journal-title":"Correct System Design Recent Insight and Advances Lecture Notes in Computer Science"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16558-0_44"},{"journal-title":"On Detecting Hearthbleed with Static Analysis","year":"2014","key":"ref24"},{"journal-title":"OpenSSL Heartbleed vulnerability (CVE-2014-0160) United States Computer Emergency Readiness Team","year":"2014","key":"ref23"},{"journal-title":"Frama-C Software Analyzer","year":"0","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_16"}],"event":{"name":"2016 35th International Conference of the Chilean Computer Science Society (SCCC)","start":{"date-parts":[[2016,10,10]]},"location":"Valpara\u00edso, Chile","end":{"date-parts":[[2016,10,14]]}},"container-title":["2016 35th International Conference of the Chilean Computer Science Society (SCCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7815253\/7835988\/07835996.pdf?arnumber=7835996","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T11:13:49Z","timestamp":1568805229000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7835996\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/sccc.2016.7835996","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}