{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:07Z","timestamp":1742913967462,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252426"},{"type":"electronic","value":"9783642252433"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25243-3_27","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:18:58Z","timestamp":1320214738000},"page":"330-344","source":"Crossref","is-referenced-by-count":3,"title":["Ontology Model-Based Static Analysis of Security Vulnerabilities"],"prefix":"10.1007","author":[{"given":"Lian","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shi-Zhong","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guo-Wei","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheng-Cheng","family":"Wan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yin-Hang","family":"Jing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Yu, L., Zhou, J., Yi, Y., Li, P., Wang, Q.: Ontology Model-Based Static Analysis on Java Programs. In: Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference, July 28-August 01, pp. 92\u201399 (2008)","key":"27_CR1","DOI":"10.1109\/COMPSAC.2008.73"},{"unstructured":"Weiser, M.: Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor (1979)","key":"27_CR2"},{"issue":"3","key":"27_CR3","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K., Warren, J.: The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems\u00a09(3), 319\u2013349 (1987)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"Java System Dependence Graph API, \n                    \n                      http:\/\/www4.comp.polyu.edu.hk\/~cscllo\/teaching\/SDGAPI\/","key":"27_CR4"},{"unstructured":"ASM, \n                    \n                      http:\/\/asm.ow2.org\/","key":"27_CR5"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1109\/FOSE.2007.27","volume-title":"2007 Future of Software Engineering (FOSE 2007)","author":"D. Binkley","year":"2007","unstructured":"Binkley, D.: Source Code Analysis: A Road Map. In: 2007 Future of Software Engineering (FOSE 2007), pp. 104\u2013119. IEEE Computer Society, Washington, DC, USA (2007), doi:10.1109\/FOSE.2007.27"},{"doi-asserted-by":"crossref","unstructured":"Cordy, J., Dean, T., Malton, A., Schneider, K.: Source transformation in software engineering using the TXL transformation system. Information and Software Technology\u00a044(13) (2002)","key":"27_CR7","DOI":"10.1016\/S0950-5849(02)00104-0"},{"unstructured":"Edison Design Group. Compiler front ends (2006)","key":"27_CR8"},{"unstructured":"Moonen, L.: Generating robust parsers using island grammars. In: Working Conference on Reverse Engineering (2001)","key":"27_CR9"},{"doi-asserted-by":"crossref","unstructured":"Cytron, R., Ferrante, J., Rosen, B., Wegman, M., Zadeck, K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Prog. Lang. Syst.\u00a013(4) (1991)","key":"27_CR10","DOI":"10.1145\/115372.115320"},{"doi-asserted-by":"crossref","unstructured":"Weise, D., Crew, R.F., Ernst, M., Steensgaard, B.: Valuedependence graphs: Representation without taxation. In: Conference Record of POPL 1994: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM SIGACT and SIGPLAN, ACM Press (1994)","key":"27_CR11","DOI":"10.1145\/174675.177907"},{"unstructured":"Qian, F., Hendren, L.: Towards dynamic interprocedural analysis in jvms. In: Proc. of the 3rd Virtual Machine Research and Technology Symposium, San Jose, USA. Usenix (May 2004)","key":"27_CR12"},{"unstructured":"Pheng, S., Verbrugge, C.: Dynamic data structure analysis for Java programs. In: ICPC 2006: Proc. of the 14th IEEE International Conference on Program Comprehension. IEEE Computer Society (2006)","key":"27_CR13"},{"doi-asserted-by":"crossref","unstructured":"Cobleigh, J., Clarke, L., Osterweil, L.: Flavers: A finite state verification technique for software systems. IBM Systems Journal \u2013 Software Testing and Verification\u00a041(1) (2002)","key":"27_CR14","DOI":"10.1147\/sj.411.0140"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-36377-7_12","volume-title":"The Essence of Computation","author":"D. Schmidt","year":"2002","unstructured":"Schmidt, D.: Structure-preserving Binary Relations for Program Abstraction. In: Mogensen, T.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol.\u00a02566, pp. 245\u2013265. Springer, Heidelberg (2002)"},{"key":"27_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-36579-6_10","volume-title":"Compiler Construction","author":"B. Ryder","year":"2003","unstructured":"Ryder, B.: Dimensions of Precision in Reference Analysis of Object-oriented Programming Languages. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 126\u2013137. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Landi, W., Ryder, B.G.: Pointer-induced aliasing: A problem classification. In: Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, FL. ACM Press (January 1991)","key":"27_CR17","DOI":"10.1145\/99583.99599"}],"container-title":["Lecture Notes in Computer Science","Information and Communications Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25243-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T20:18:21Z","timestamp":1566764301000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25243-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642252426","9783642252433"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25243-3_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}