Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

PASTE
2004
ACM

favoriteEmaildiscussreport

93views Software Engineering» more PASTE 2004»

Evaluating the imprecision of static analysis

13 years 9 months ago

Evaluating the imprecision of static analysis

Download www.cse.ohio-state.edu

This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are constructed manually by the experimenters. We also describe our initial experience with these techniques. Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages—program analysis General Terms Experimentation, measurement, languages, algorithms Keywords Static analysis, dynamic analysis, analysis precision

Atanas Rountev, Scott Kagan, Michael Gibas

Real-time Traffic

Analysis General Terms | Keywords Static Analysis | PASTE 2004 | Static Analysis |

claim paper

Related Content

» Using Static Program Analysis to Aid Intrusion Detection

» TypeBased Alias Analysis

» Guided Static Analysis

» Precisionrecall operating characteristic PROC curves in imprecise environments

» A Deterministic Algorithm for Solving Imprecise Decision Problems

» On establishing a benchmark for evaluating static analysis alert prioritization and classi...

» Evaluation of Static Analysis Techniques for FixedPoint Precision Optimization

» Combined Static and Dynamic Analysis for Effective Buffer Minimization in Streaming XQuery...

» Improving the static analysis of embedded languages via partial evaluation

Post Info
More Details (n/a)

Added	30 Jun 2010
Updated	30 Jun 2010
Type	Conference
Year	2004
Where	PASTE
Authors	Atanas Rountev, Scott Kagan, Michael Gibas

Comments (0)