A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
Jinn
2010
SIGPLAN notices
Preserved Fulltext
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
2010
Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 2013 international symposium on International symposium on memory management - ISMM '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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