Cited By
View all- Tang JCui XZhao ZGuo SXu XHu CBan TMao B(2017)NIVAnalyzer: A Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST.2017.56(492-499)Online publication date: Mar-2017
- Xu ZKremenek TZhang J(2010)A memory model for static analysis of C programsProceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I10.5555/1939281.1939332(535-548)Online publication date: 18-Oct-2010
- Xu ZKremenek TZhang J(2010)A Memory Model for Static Analysis of C ProgramsLeveraging Applications of Formal Methods, Verification, and Validation10.1007/978-3-642-16558-0_44(535-548)Online publication date: 2010
- Show More Cited By