{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:46Z","timestamp":1725550006767},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240754"},{"type":"electronic","value":"9783540305552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30555-2_33","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T08:35:49Z","timestamp":1268382949000},"page":"283-293","source":"Crossref","is-referenced-by-count":0,"title":["Framework for Safe Reuse of Software Binaries"],"prefix":"10.1007","author":[{"given":"Ramakrishnan","family":"Venkitaraman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","unstructured":"Abramsky, S., Hankin, C.: Abstract Interpretation of Declarative Languages, Ellis Horwood (1987)"},{"key":"33_CR2","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1988","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1988)"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Bergeron, J., Debbabi, M., Erhioui, M.M., Ktari, B.: Static Analysis of Binary Code to Isolate Malicious Behaviors. In: IEEE 8th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Palo Alto, California (1999)","DOI":"10.1109\/ENABL.1999.805197"},{"key":"33_CR4","unstructured":"Blonstein, S.: (Texas Instruments). Personal Communication"},{"key":"33_CR5","unstructured":"Chen, H., Shapiro, J.S.: Exploring Static Checking for Software Assurance. SRL Technical Report SRL-2003-06"},{"key":"33_CR6","unstructured":"Chess, B.V.: Improving computer security using extending static checking. In: IEEE Symposium on Security and Privacy (2002)"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction of Approximation of Fixpoints. In: Fourth Annual ACM Symp. on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"33_CR8","unstructured":"Christodorescu, M., Jha, S.: Static Analysis of Executables to Detect Malicious Patterns. In: 12th USENIX Security Symposium (August 2003)"},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"Debray, S., Muth, R., Weippert, M.: Alias analysis of executable code. In: POPL (1998)","DOI":"10.1145\/268946.268948"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Fernandez, M., Espasa, R.: Speculative alias analysis for executable code. In: International Conference on Parallel Architectures and Compilation Techniques (2002)","DOI":"10.1109\/PACT.2002.1106020"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"Frake, W., Terry, C.: Software Reuse: Metrics and Models. ACM Computing Surveys\u00a028(2) (1996)","DOI":"10.1145\/234528.234531"},{"key":"33_CR12","volume-title":"Computers and Intractability","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability. W. H. Freeman and Company, New York (1979)"},{"key":"33_CR13","unstructured":"Gates, B.: The Future of Programming in a World of Web Services (keynote address). In: 17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Application Seattle, Washington Friday, November 8 (2002)"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Heintze, N., Tardieu, O.: Demand-Driven Pointer Analysis. In: Conference on Programming Language Design and Implementation (2001)","DOI":"10.1145\/378795.378802"},{"key":"33_CR15","unstructured":"Holzmann, G.J.: Static Source Code Checking for User-defined Properties. In: Conference on Integrated Design and Process Technology, IDPT (2002)"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"Landi, W., Ryder, B.G.: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. In: Proc. SIGPLAN PLDI 1992, pp. 235\u2013248 (1992)","DOI":"10.1145\/143103.143137"},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"Licheter, H., Riedinger, G.: Improving software quality by static program analysis. In: Proc. of SPI 1997 software process improvement, Barcelona (1997)","DOI":"10.1002\/(SICI)1099-1670(1997120)3:4<235::AID-SPIP88>3.0.CO;2-4"},{"key":"33_CR18","doi-asserted-by":"crossref","unstructured":"Venkitaraman, R., Gupta, G.: Static Program Analysis of Embedded Executable Assembly Code. In: Compilers, Architecture, and Synthesis for Embedded Systems (ACM CASES), September 2004, pp. 157\u2013166 (2004)","DOI":"10.1145\/1023833.1023857"},{"key":"33_CR19","doi-asserted-by":"crossref","unstructured":"Wagner, D.A.: Static analysis and computer security: New techniques for Software Assurance. University of California at Berkley Phd Dissertation (December 2000)","DOI":"10.1007\/3-540-47764-0_25"},{"key":"33_CR20","doi-asserted-by":"crossref","unstructured":"Weihl, W.E.: Interprocedural data flow analysis in the presence of pointers, procedure variables, and label variables. In: Proc. ACM POPL, January 1980, pp. 83\u201394 (1980)","DOI":"10.1145\/567446.567455"},{"key":"33_CR21","unstructured":"Texas Instruments Code Composer Studio and XDAIS\/TMS320 Algorithmic Standards Literature (No: SPRU509C, No: SPRU301C, No: SPRU352D, No: SPRU189F)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30555-2_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:21:50Z","timestamp":1605741710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30555-2_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240754","9783540305552"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30555-2_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}