197 search results - page 3 / 40 » Using Static Program Analysis to Aid Intrusion Detection |
IJNSEC
2007
14 years 11 months ago
2007
Intrusion detection is the process of monitoring the events occurring in a computer system or network and analyzing them for signs of intrusions, defined as attempts to compromis...
APSEC
1995
IEEE
15 years 3 months ago
1995
IEEE
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...
100
click to vote
COMPSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
123
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
SIGSOFT
2002
ACM
16 years 15 days ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...