9 search results - page 1 / 2 » Interprocedural Static Slicing of Binary Executables |
SCAM
2003
IEEE
13 years 10 months ago
2003
IEEE
WETICE
1999
IEEE
13 years 9 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
CHARME
1999
Springer
13 years 9 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
ICSM
1998
IEEE
13 years 9 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...
WCRE
2009
IEEE
13 years 11 months ago
2009
IEEE
—Current malware is often transmitted in packed or encrypted form to prevent examination by anti-virus software. To analyze new malware, researchers typically resort to dynamic c...