Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540377566, 9783540377580
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Interprocedural Shape Analysis with Separated Heap Abstractions

2006 ◽  
pp. 240-260 ◽  
Author(s):  
Alexey Gotsman ◽  
Josh Berdine ◽  
Byron Cook
Keyword(s):  
Shape Analysis

scholarly journals Cryptographically-Masked Flows

2006 ◽  
pp. 353-369 ◽  
Author(s):  
Aslan Askarov ◽  
Daniel Hedin ◽  
Andrei Sabelfeld

scholarly journals Static Analysis in Disjunctive Numerical Domains

2006 ◽  
pp. 3-17 ◽  
Author(s):  
Sriram Sankaranarayanan ◽  
Franjo Ivančić ◽  
Ilya Shlyakhter ◽  
Aarti Gupta
Keyword(s):  
Static Analysis

scholarly journals Abstract Interpretation with Specialized Definitions

2006 ◽  
pp. 107-126 ◽  
Author(s):  
Germán Puebla ◽  
Elvira Albert ◽  
Manuel Hermenegildo
Keyword(s):  
Abstract Interpretation

scholarly journals Memory Leak Analysis by Contradiction

2006 ◽  
pp. 405-424 ◽  
Author(s):  
Maksim Orlovich ◽  
Radu Rugina
Keyword(s):  
Memory Leak

scholarly journals Static Analysis of String Manipulations in Critical Embedded C Programs

2006 ◽  
pp. 35-51 ◽  
Author(s):  
Xavier Allamigeon ◽  
Wenceslas Godard ◽  
Charles Hymans
Keyword(s):  
Static Analysis ◽  
C Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document