{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:35:28Z","timestamp":1774366528845,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642407864","type":"print"},{"value":"9783642407871","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_31","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T19:18:35Z","timestamp":1379531915000},"page":"403-423","source":"Crossref","is-referenced-by-count":11,"title":["Dynamic Analysis and Debugging of Binary Code for Security Applications"],"prefix":"10.1007","author":[{"given":"Lixin","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.A.: Automated whitebox fuzz testing. In: Network and Distributed System Security Symposium (2008)"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Clause, J.A., Li, W., Orso, A.: Dytan: a generic dynamic taint analysis framework. In: ISSTA, pp. 196\u2013206 (2007)","DOI":"10.1145\/1273463.1273490"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Costa, M., Crowcroft, J., Castro, M., Rowstron, A.I.T., Zhou, L., Zhang, L., Barham, P.: Vigilante: End-to-end containment of internet worm epidemics. ACM Trans. Comput. Syst.\u00a026(4) (2008)","DOI":"10.1145\/1455258.1455259"},{"key":"31_CR4","unstructured":"Newsome, J., Song, D.X.: Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In: NDSS (2005)"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Portokalidis, G., Slowinska, A., Bos, H.: Argos: an emulator for fingerprinting zero-day attacks for advertised honeypots with automatic signature generation. In: EuroSys, pp. 15\u201327 (2006)","DOI":"10.1145\/1218063.1217938"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89862-7_1","volume-title":"Information Systems Security","author":"D. Song","year":"2008","unstructured":"Song, D., et al.: BitBlaze: A new approach to computer security via binary analysis. In: Sekar, R., Pujari, A.K. (eds.) ICISS 2008. LNCS, vol.\u00a05352, pp. 1\u201325. Springer, Heidelberg (2008)"},{"key":"31_CR7","unstructured":"Paxson, V.: et\u00a0al.: A survey of support for implementing debuggers (1990), ftp.ee.lbl.gov:papers\/debugger-support.ps.Z"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Luk, C.K., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V.J., Hazelwood, K.: PIN: Building customized program analysis tools with dynamic instrumentation. In: PLDI, pp. 190\u2013200 (2005)","DOI":"10.1145\/1064978.1065034"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Seward, J.: Valgrind: A program supervision framework. Electr. Notes Theor. Comput. Sci.\u00a089(2) (2003)","DOI":"10.1016\/S1571-0661(04)81042-9"},{"key":"31_CR10","unstructured":"Bellard, F.: QEMU, a fast and portable dynamic translator. In: USENIX Annual Technical Conference, FREENIX Track, 41\u201346 (2005)"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Bhansali, S., Chen, W.K., De Jong, S., Edwards, A., Murray, R., Drini\u0107, M., Miho\u010dka, D., Chau, J.: Framework for instruction-level tracing and analysis of program executions. In: International Conference on Virtual Execution Environments, pp. 154\u2013163. ACM (2006)","DOI":"10.1145\/1134760.1220164"},{"key":"31_CR12","unstructured":"GNU GDB: Process Record & Replay, \n                    \n                      http:\/\/sourceware.org\/gdb\/wiki\/ProcessRecord"},{"key":"31_CR13","unstructured":"Eagle, C.: The IDA Pro Book: The Unofficial Guide to the World\u2019s Most Popular Disassembler, San Francisco, CA, USA (2008)"},{"issue":"1","key":"31_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/2110356.2110358","volume":"30","author":"V. Chipounov","year":"2012","unstructured":"Chipounov, V., Kuznetsov, V., Candea, G.: The S2E platform: Design, implementation, and applications. ACM Trans. Comput. Syst.\u00a030(1), 2 (2012)","journal-title":"ACM Trans. Comput. Syst."},{"key":"31_CR15","unstructured":"Yan, L.K., Yin, H.: DroidScope: seamlessly reconstructing the OS and Dalvik semantic views for dynamic android malware analysis. In: USENIX Security, p. 29 (2012)"},{"key":"31_CR16","unstructured":"Dullien, T., Porst, S.: REIL: A platform-independent intermediate representation of disassembled code for static code analysis. In: CanSecWest (2009)"},{"key":"31_CR17","unstructured":"REIL, \n                    \n                      http:\/\/www.zynamics.com\/binnavi\/manual\/html\/reil_language.htm"},{"key":"31_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"Heelan, S., Gianni, A.: Augmenting vulnerability analysis of binary code. In: Annual Computer Security Applications Conference, pp. 199\u2013208 (2012)","DOI":"10.1145\/2420950.2420981"},{"key":"31_CR20","unstructured":"Sekar, R.: An efficient black-box technique for defeating web application attacks. In: NDSS (2009)"},{"key":"31_CR21","doi-asserted-by":"crossref","unstructured":"Li, L., Just, J.E., Sekar, R.: Online signature generation for windows systems. In: Annual Computer Security Applications Conference, pp. 289\u2013298 (2009)","DOI":"10.1109\/ACSAC.2009.34"},{"key":"31_CR22","doi-asserted-by":"crossref","unstructured":"Ganai, M.K., Lee, D., Gupta, A.: DTAM: dynamic taint analysis of multi-threaded programs for relevancy. In: FSE (2012)","DOI":"10.1145\/2393596.2393650"},{"key":"31_CR23","doi-asserted-by":"crossref","unstructured":"Wang, C., Kundu, S., Limaye, R., Ganai, M., Gupta, A.: Symbolic predictive analysis for concurrent programs. Int. J. Formal Aspects of Computing, 1\u201325 (April 2011)","DOI":"10.1007\/s00165-011-0179-2"},{"key":"31_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-29860-8_2","volume-title":"Runtime Verification","author":"C. Wang","year":"2012","unstructured":"Wang, C., Ganai, M.: Predicting concurrency failures in generalized traces of x86 executables. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol.\u00a07186, pp. 4\u201318. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40787-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:56:49Z","timestamp":1558079809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}