Static Detection of Place Locality and Elimination of Runtime Checks

2008 ◽  
pp. 53-74 ◽  
Author(s):  
Shivali Agarwal ◽  
RajKishore Barik ◽  
V. Krishna Nandivada ◽  
Rudrapatna K. Shyamasundar ◽  
Pradeep Varma
Keyword(s):  
Static Detection

Static detection of array bounds errors and null pointer dereference in Java

2009 ◽  
Vol 29 (5) ◽  
pp. 1376-1379 ◽  
Author(s):  
Bai-qiang CHEN ◽  
Tao GUO ◽  
Hui RUAN ◽  
Jun YAN
Keyword(s):  
Static Detection ◽  
Null Pointer

Static detection of polymorphic attack codes

2011 ◽  
Vol 30 (12) ◽  
pp. 3349-3353 ◽  
Author(s):  
Jia-xing LU ◽  
Fan GUO ◽  
Min YU
Keyword(s):  
Static Detection

scholarly journals A Modified FlowDroid Based on Chi-Square Test of Permissions

Entropy ◽  
2021 ◽  
Vol 23 (2) ◽  
pp. 174
Author(s):  
Hongzhaoning Kang ◽  
Gang Liu ◽  
Zhengping Wu ◽  
Yumin Tian ◽  
Lizhi Zhang
Keyword(s):  
Detection Efficiency ◽  
False Alarms ◽  
Chi Square ◽  
Secure Storage ◽  
Chi Square Test ◽  
Complex Detection ◽  
Android Applications ◽  
Malicious Apps ◽  
Flow Detection ◽  
Static Detection

Android devices are currently widely used in many fields, such as automatic control, embedded systems, the Internet of Things and so on. At the same time, Android applications (apps) always use multiple permissions, and permissions can be abused by malicious apps that disclose users’ privacy or breach the secure storage of information. FlowDroid has been extensively studied as a novel and highly precise static taint analysis for Android applications. Aiming at the problem of complex detection and false alarms in FlowDroid, an improved static detection method based on feature permission and risk rating is proposed. Firstly, the Chi-square test is used to extract correlated permissions related to malicious apps, and mutual information is used to cluster the permissions to generate feature permission clusters. Secondly, risk calculation method based on permissions and combinations of permissions are proposed to identify dangerous data flows. Experiments show that this method can significantly improve detection efficiency while maintaining the accuracy of dangerous data flow detection.

Static detection of application backdoors

2010 ◽  
Vol 34 (3) ◽  
pp. 149-155 ◽  
Author(s):  
Chris Wysopal ◽  
Chris Eng ◽  
Tyler Shields
Keyword(s):  
Static Detection

scholarly journals Static Detection of Livelocks in Ada Multitasking Programs

2007 ◽  
pp. 69-83 ◽  
Author(s):  
Johann Blieberger ◽  
Bernd Burgstaller ◽  
Robert Mittermayr
Keyword(s):  
Static Detection

D-REX: Static Detection of Relevant Runtime Exceptions with Location Aware Transformer

2021 ◽  
Author(s):  
Farima Farmahinifarahani ◽  
Yadong Lu ◽  
Vaibhav Saini ◽  
Pierre Baldi ◽  
Cristina Lopes
Keyword(s):  
Location Aware ◽  
Static Detection
Sign in / Sign up

Export Citation Format

Share Document