Search Sciweavers | Sciweavers

494 search results - page 5 / 99

» Static Analysis for Guarded Code

click to vote

SIGSOFT
2004
ACM

124views Software Engineering» more SIGSOFT 2004»

Testing static analysis tools using exploitable buffer overflows from open source code

14 years 9 months ago

Download www.ll.mit.edu

Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...

Misha Zitser, Richard Lippmann, Tim Leek

claim paper

Read More »

click to vote

ICSE
2007
IEEE-ACM

170views Software Engineering» more ICSE 2007»

Adaptive Probabilistic Model for Ranking Code-Based Static Analysis Alerts

14 years 2 months ago

Download people.engr.ncsu.edu

Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...

Sarah Smith Heckman

claim paper

Read More »

click to vote

WWW
2008
ACM

93views Internet Technology» more WWW 2008»

Protecting web services from remote exploit code: a static analysis approach

14 years 9 months ago

Download www2008.org

We propose STILL, a signature-free remote exploit binary code injection attack blocker to protect web servers and web applications. STILL is robust to almost all anti-signature, a...

Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu

claim paper

Read More »

click to vote

WCET
2007

97views Software Engineering» more WCET 2007»

A Framework for Static Analysis of VHDL Code

13 years 9 months ago

Download rw4.cs.uni-saarland.de

Marc Schlickling, Markus Pister

claim paper

Read More »