Extracting safe and precise control flow from binaries

Proceedings - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000

Volumn , Issue , 2000, Pages 23-30

  Theiling, H ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Clustering algorithms; Computer aided instruction; Flow graphs; Information analysis; Performance analysis; Processor scheduling; Real time systems; Safety; Switches; Uncertainty

Indexed keywords

ACCIDENT PREVENTION; BINS; CLUSTERING ALGORITHMS; COMPUTER AIDED ANALYSIS; COMPUTER AIDED INSTRUCTION; DATA FLOW ANALYSIS; FLOW GRAPHS; GRAPHIC METHODS; INFORMATION ANALYSIS; INTERACTIVE COMPUTER SYSTEMS; SWITCHES; TIME SWITCHES; UNCERTAINTY ANALYSIS;

BOTTOM UP APPROACH; CONTROL FLOW GRAPHS; PERFORMANCE ANALYSIS; PRECISE CONTROL; PROCESSOR SCHEDULING; STATIC PROGRAM ANALYSIS; TOP DOWN APPROACHES; UNCERTAINTY;

REAL TIME SYSTEMS;

EID: 84953310687     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2000.896367     Document Type: Conference Paper

References (23)

1. A.-R. Adl-Tabatabai and T. Gross. Source-Level Debugging of Scalar Optimized Code. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1996.
2. C. Cifuentes and K. J. Gough. A New Approach to Debugging Optimized Code. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1992.
3. C. Cifuentes and K. J. Gough. Decompilation of Binary Programs. Software - Practice and Experience, 25(9), 1995.
4. C. Ferdinand. Cache Behavior Prediction for Real-Time Systems. PhD Thesis, Universität der Saarlandes, 1997.
5. C. Ferdinand, D. Kästner, M. Langenbach, F. Martin, M. Schmidt, J. Schneider, H. Theiling, S. Thesing, and R. Wilhelm. Run-Time Guarantees for Real-Time Systems - The USES Approach. In Proceedings of Informatik '99 - Arbeitstagung Programmiersprachen, Paderborn, 1999.
6. C. Ferdinand, F. Martin, and R. Wilhelm. Cache Behavior Prediction by Abstract Interpretation. Science of Computer Programming, 1998. Ausgewählt für Sonderband SAS'96.
7. IBM. PPC403GCX Embedded Controller, User's Manual, first edition, 1997.
8. D. Kästner. A Retargetable System for Postpass Optimisations and Analyses. In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tools for Embedded Systems, 2000.
9. D. Kästner. TDL - A Hardware and Assembly Description Language. Technical report, Universität d. Saarlandes, 2000.
10. S. Kim, S. Min, and R. Ha. Efficient Worst Case Timing Analysis of Data Caching. In Proceedings of the 1996 IEEE Real-Time Technology and Applications Symposium, 1996.
11. M. Langenbach. CRL - A Uniform Representation for Control Flow. Technical report, Universität d. Saarlandes, 1998.
12. J. R. Larus and E. Schnarr. EEL: Machine-Independent Executable Editing. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1995.
13. Y.-T. S. Li, S. Malik, and A. Wolfe. Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches. In Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS), 1996.
14. F. Martin. Generation of Program Analyzers. PhD thesis, Universität d. Saarlandes, 1999.
15. G. Ramalingam. On Loops, Dominators, and Dominance Frontier. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI), 2000.
16. G. Sander. Graph layout through the vcg tool. In Proceedings of the DIMACS International Workshop on Graph Drawing, volume 894 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
17. J. Schneider and C. Ferdinand. Pipeline Behaviour Prediction for Superscalar Processors by Abstract Interpretation. In In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, 1999.
18. M. Sicks. Adreßbestimmung zur Vorhersage des Verhaltens von Daten-Caches. Diploma Thesis, Universität d. Saarlandes, 1997.
19. V. C. Sreedhar, G. R. Gao, and Y.-F. Lee. Identifying Loops Using DJ Graphs. ACM Transactions on Programming Languages and Systems (TOPLAS), 18(6), 1996.
20. B. D. Sutter, B. D. Bus, K. D. Bosschere, P. Keyngnaert, and B. Demoen. On the Static Analysis of Indirect Control Transfers in Binaries. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2000.
21. H. Theiling. Über die Verwendung ganzzahliger linearer Programmierung zur Suche nach längsten Programmpfaden. Diploma Thesis, Universität d. Saarlandes, 1998.
22. H. Theiling and C. Ferdinand. Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. In Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS), Madrid, Spain, 1998.
23. C. Tice and S. L. Graham. OPTVIEW: A New Approach for Examining Optimized Code. In Proceedings of the 1998 Workshop on Program Analysis for Software Tools and Engineering, Montreal, 1998.