Flow-insensitive static analysis for detecting integer anomalies in programs

Authors:
Dipanwita Sarkar;Muthu Jagannathan;Jay Thiagarajan;Ramanathan Venkatapathy
Affiliations:
Center for Software Excellence, Microsoft Corporation, One Microsoft Way, Redmond, WA;Center for Software Excellence, Microsoft Corporation, One Microsoft Way, Redmond, WA;Center for Software Excellence, Microsoft Corporation, One Microsoft Way, Redmond, WA;Center for Software Excellence, Microsoft Corporation, One Microsoft Way, Redmond, WA
Venue:
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Year:
2007

Citing 18
Cited 3

LCLint: a tool for using specifications to check code

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Calculating sized types

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
A static analyzer for finding dynamic programming errors

Software—Practice & Experience
Automatically validating temporal safety properties of interfaces

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
ESP: path-sensitive program verification in polynomial time

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Automatic discovery of linear restraints among variables of a program

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Writing Secure Code

Writing Secure Code
From symptom to cause: localizing errors in counterexample traces

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Improving Security Using Extensible Lightweight Static Analysis

IEEE Software
Using Programmer-Written Compiler Extensions to Catch Security Holes

SP '02 Proceedings of the 2002 IEEE Symposium on Security and Privacy
Improving Computer Security Using Extended Static Checking

SP '02 Proceedings of the 2002 IEEE Symposium on Security and Privacy
Secure Programming Cookbook for C and C++

Secure Programming Cookbook for C and C++
MECA: an extensible, expressive system and language for statically checking security properties

Proceedings of the 10th ACM conference on Computer and communications security
Buffer overrun detection using linear programming and static analysis

Proceedings of the 10th ACM conference on Computer and communications security
Precise and efficient static array bound checking for large embedded C programs

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
A class of polynomially solvable range constraints for interval analysis without widenings

Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2004)
Modular checking for buffer overflows in the large

Proceedings of the 28th international conference on Software engineering
Righting Software

IEEE Software

IntFinder: automatically detecting integer bugs in x86 binary program

ICICS'09 Proceedings of the 11th international conference on Information and Communications Security
Program transformations to fix C integers

Proceedings of the 2013 International Conference on Software Engineering
Sound input filter generation for integer overflow errors

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Key Performance Indicator is a method adopted by an organization to measure the performance of the organization and its staff. Automated Performance Review and Information System (A-PRAISe) is a web application which was developed using Java and JSP ...