JNI program analysis with automatically extracted C semantic summary
Author:
Open Access
- 10 July 2019
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 448-451
Abstract
No abstract availableFunding Information
- National Research Foundation of Korea (NRF) (2017R1A2B3012020, 2017M3C4A7068177)
This publication has 10 references indexed in Scilit:
- JN-SAF2018
- DroidNative: Automating and optimizing detection of Android native code malware variantsComputers & Security, 2017
- Automatic handling of native methods in Java PathFinder2014
- Mobile-Sandbox: combining static and dynamic analysis with machine-learning techniquesInternational Journal of Information Security, 2014
- Precise and compact modular procedure summaries for heap manipulating programsACM SIGPLAN Notices, 2011
- JinnACM SIGPLAN Notices, 2010
- Finding bugs in exceptional situations of JNI programs2009
- Finding bugs in java native interface programs2008
- IleaACM SIGPLAN Notices, 2007
- Fast online pointer analysisACM Transactions on Programming Languages and Systems, 2007