Static analysis of binary code to isolate malicious behaviors

Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE

Volumn 1999-June, Issue , 1999, Pages 184-189

  Bergeron, J ^a   Debbabi, M ^a   Erhioui, M M ^a   Ktari, B ^a  

^a UNIVERSITÉ LAVAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMMERCIAL OFF-THE-SHELF; SEMANTICS; SOFTWARE PACKAGES; STATIC ANALYSIS;

ANALYSIS OF BINARIES; BINARY EXECUTABLES; COTS COMPONENT; COTS SOFTWARE; MALICIOUS BEHAVIOR; MALICIOUS CODE DETECTION; PROGRAM TRANSFORMATIONS; SOFTWARE PRODUCTS; SOURCE CODES; STATIC SLICING;

BINARY CODES;

EID: 84860833874     PISSN: 15244547     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ENABL.1999.805197     Document Type: Conference Paper

References (9)

1. T. Ball and S. Horwitz. Slicing Programs with Arbitrary Control-flow. In Automated and Algorithmic Debugging, First International Workshop, AADEBUG’93, volume 749 of LNCS, pages 206–222, 1993.
2. J. Bergeron, M. Debbabi, J. Desharnais, B. Ktari, M. Salois, and N. Tawbi. Detection of Malicious Code in COTS Software: A Short Survey. In First International Software Assurance Certification Conference (ISACC’99), Washington D.C, Mar. 1999.
3. J.-D. Choi, M. Burke, and P. Carini. Efficient Flow-sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. In Conference Record of the 20th ACM Symposium on Principles of Programming Languages, pages 232–245, 1993.
4. C. Cifuentes and A. Fraboulet. Intraprocedural Static Slicing of Binary Executables. In I.-C. Press, editor, Proceedings of the International Conference on Software Maintenance, pages 188–195, Bari, Italy, Oct. 1997.
5. C. Cifuentes and K. J. Gough. Decompilation of Binary Programs. Software - Practice and Experience, 25(7):811–829, July 1995.
6. S. Horwitz, T. Reps, and D. Binkley. Interprocedural Slicing using Dependence Graphs. In ACM SIGPLAN Conference on Programming Language Design and Implementation, volume 23, pages 25–46, Atlanta, Georgia, June 1988.
7. R. W. Lo, K. N. Levitt, and R. A. Olsson. MCF: A Malicious Code Filter. Computers and Security, 14(6):541–566, 1995.
8. F. Tip. A Survey of Program Slicing Techniques. Journal of Programming Languages, 3(3):121–189, 1995.
9. M. Weiser. Program Slicing. IEEE Transactions on Software Engineering, 10(4):352–357, July 1984.