Static Program Analysis for Security

2007 ◽

pp. 525-549 ◽

Cited By ~ 30

Author(s):

Eric Bodden ◽

Laurie Hendren ◽

Ondřej Lhoták

Keyword(s):

Program Analysis ◽

Runtime Monitoring ◽

Static Program Analysis

Download Full-text

Software Quality Assurance by Static Program Analysis

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering - Lecture Notes in Business Information Processing ◽

10.1007/978-3-319-03602-1_1 ◽

2014 ◽

pp. 1-11

Author(s):

Reinhard Wilhelm

Keyword(s):

Quality Assurance ◽

Software Quality ◽

Program Analysis ◽

Software Quality Assurance ◽

Static Program Analysis

Download Full-text

Static Program Analysis via 3-Valued Logic

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-45789-5_1 ◽

2002 ◽

pp. 1-1

Author(s):

Thomas Reps

Keyword(s):

Program Analysis ◽

Static Program Analysis

Download Full-text

Worst case execution time prediction by static program analysis

18th International Parallel and Distributed Processing Symposium, 2004. Proceedings. ◽

10.1109/ipdps.2004.1303088 ◽

2004 ◽

Cited By ~ 13

Author(s):

C. Ferdinand

Keyword(s):

Program Analysis ◽

Execution Time ◽

Worst Case ◽

Static Program Analysis ◽

Time Prediction ◽

Worst Case Execution Time ◽

Execution Time Prediction

Download Full-text

aiT: Worst-Case Execution Time Prediction by Static Program Analysis

Building the Information Society - IFIP International Federation for Information Processing ◽

10.1007/978-1-4020-8157-6_29 ◽

2008 ◽

pp. 377-383 ◽

Cited By ~ 39

Author(s):

Christian Ferdinand ◽

Reinhold Heckmann

Keyword(s):

Program Analysis ◽

Execution Time ◽

Worst Case ◽

Static Program Analysis ◽

Time Prediction ◽

Worst Case Execution Time ◽

Execution Time Prediction

Download Full-text

Static program analysis assisted dynamic taint tracking for software vulnerability discovery

Computers & Mathematics with Applications ◽

10.1016/j.camwa.2011.08.001 ◽

2012 ◽

Vol 63 (2) ◽

pp. 469-480 ◽

Cited By ~ 13

Author(s):

Ruoyu Zhang ◽

Shiqiu Huang ◽

Zhengwei Qi ◽

Haibing Guan

Keyword(s):

Program Analysis ◽

Software Vulnerability ◽

Static Program Analysis ◽

Vulnerability Discovery ◽

Taint Tracking

Download Full-text

Android Security via Static Program Analysis

Proceedings of the 2017 Workshop on MobiSys 2017 Ph.D. Forum - Ph.D. Forum '17 ◽

10.1145/3086467.3086469 ◽

2017 ◽

Author(s):

Feng Shen

Keyword(s):

Program Analysis ◽

Android Security ◽

Static Program Analysis

Download Full-text

Static program analysis of embedded executable assembly code

Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems - CASES '04 ◽

10.1145/1023833.1023857 ◽

2004 ◽

Cited By ~ 8

Author(s):

Ramakrishnan Venkitaraman ◽

Gopal Gupta

Keyword(s):

Program Analysis ◽

Static Program Analysis ◽

Assembly Code

Download Full-text

Static Program Analysis for Java Card Applets

Smart Card Research and Advanced Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-85893-5_2 ◽

2008 ◽

pp. 17-31 ◽

Cited By ~ 2

Author(s):

Vasilios Almaliotis ◽

Alexandros Loizidis ◽

Panagiotis Katsaros ◽

Panagiotis Louridas ◽

Diomidis Spinellis

Keyword(s):

Program Analysis ◽

Static Program Analysis ◽

Java Card

Download Full-text

Detection of faults in database applications using static program analysis and data mining

10.32657/10356/66667 ◽

2016 ◽

Author(s):

Kaiping Liu

Keyword(s):

Data Mining ◽

Program Analysis ◽

Database Applications ◽

Static Program Analysis

Download Full-text

Static Program Analysis for Security

A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring

Software Quality Assurance by Static Program Analysis

Static Program Analysis via 3-Valued Logic

Worst case execution time prediction by static program analysis

aiT: Worst-Case Execution Time Prediction by Static Program Analysis

Static program analysis assisted dynamic taint tracking for software vulnerability discovery

Android Security via Static Program Analysis

Static program analysis of embedded executable assembly code

Static Program Analysis for Java Card Applets

Detection of faults in database applications using static program analysis and data mining

Export Citation Format