A practical algorithm for learning disjunctive abstraction heuristics in static program analysis

Information and Software Technology ◽

10.1016/j.infsof.2021.106564 ◽

2021 ◽

Vol 135 ◽

pp. 106564

Author(s):

Donghoon Jeon ◽

Minseok Jeon ◽

Hakjoo Oh

Keyword(s):

Program Analysis ◽

Static Program Analysis ◽

Practical Algorithm

Download Full-text

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

ECOOP 2007 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73589-2_25 ◽

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

Static Program Analysis for Security

The Compiler Design Handbook ◽

10.1201/9781420043839.ch2 ◽

2007 ◽

pp. 2-1-2-27

Author(s):

K Gopinath

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