Filters








4 Hits in 4.8 sec

Jinn

Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
2010 SIGPLAN notices  
From this function, we synthesize a context-specific dynamic analysis to find FFI bugs. We build bug detection tools for JNI and Python/C using this approach.  ...  This paper's most significant contribution is to show how to synthesize dynamic analyses from state machines to detect foreign function interface (FFI) violations.  ...  We thank Mike Bond for feedback on the text and his suggestion of wrapping Python/C macros, Jungwoo Ha for explaining some details of hardware performance counter libraries, and Jennifer Sartor for referring  ... 
doi:10.1145/1809028.1806601 fatcat:3i4trmeerrdsfjg6trtunwgg7e

Jinn

Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
2010 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10  
From this function, we synthesize a context-specific dynamic analysis to find FFI bugs. We build bug detection tools for JNI and Python/C using this approach.  ...  This paper's most significant contribution is to show how to synthesize dynamic analyses from state machines to detect foreign function interface (FFI) violations.  ...  We thank Mike Bond for feedback on the text and his suggestion of wrapping Python/C macros, Jungwoo Ha for explaining some details of hardware performance counter libraries, and Jennifer Sartor for referring  ... 
doi:10.1145/1806596.1806601 dblp:conf/pldi/LeeWHGM10 fatcat:ebhqfvzgwvd7rovev3eoyapnea

Generating sound and effective memory debuggers

Yan Wang, Iulian Neamtiu, Rajiv Gupta
2013 Proceedings of the 2013 international symposium on International symposium on memory management - ISMM '13  
For each bug class, bug conditions and their root cause are specified declaratively, in First-order logic, using 1 to 4 predicates.  ...  We present a new approach for constructing debuggers based on declarative specification of bug conditions and root causes, and automatic generation of debugger code.  ...  Jinn [19] synthesizes bug detectors from state machine for detect foreign function interface.  ... 
doi:10.1145/2491894.2464159 dblp:conf/iwmm/WangNG13 fatcat:m7pbloduang7nj5hkg6zibbc34

Generating sound and effective memory debuggers

Yan Wang, Iulian Neamtiu, Rajiv Gupta
2013 SIGPLAN notices  
For each bug class, bug conditions and their root cause are specified declaratively, in First-order logic, using 1 to 4 predicates.  ...  We present a new approach for constructing debuggers based on declarative specification of bug conditions and root causes, and automatic generation of debugger code.  ...  Jinn [19] synthesizes bug detectors from state machine for detect foreign function interface.  ... 
doi:10.1145/2555670.2464159 fatcat:m22ebmihlbhcxdrgktjujx2llm