Search Sciweavers | Sciweavers

Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...

Wanghong Yuan, X. Chen, Tao Xie, Hong Mei, Fuqing ...

claim paper

Read More »

100

click to vote

PLDI
2003
ACM

104views Programming Languages» more PLDI 2003»

CSSV: towards a realistic tool for statically detecting all buffer overflows in C

15 years 8 months ago

Download www.cs.tau.ac.il

Nurit Dor, Michael Rodeh, Shmuel Sagiv

claim paper

Read More »

click to vote

TOOLS
2000
IEEE

96views Programming Languages» more TOOLS 2000»

Another Mediocre Assertion Mechanism for C++

15 years 7 months ago

Download www-ctp.di.fct.unl.pt

Pedro Guerreiro

claim paper

Read More »

107

click to vote

TOOLS
1999
IEEE

96views Programming Languages» more TOOLS 1999»

Contracts: From Analysis to C++ Implementation

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers