Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Value range analysis

In computing, in particular compiler construction, value range analysis is a type of data flow analysis that tracks the range (interval) of values… Expand
Wikipedia

Related topics

Related topics

6 relations
Buffer overflowCompilerGNU Compiler CollectionIntel C++ Compiler
Expand

Broader (1)

Static program analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Symbolic Execution with Value-Range Analysis for Floating-Point Exception Detection
  • Xingming Wu, Lian Li, Jian Zhang
  • 24th Asia-Pacific Software Engineering Conference…
  • 2017
    • Corpus ID: 3678605
Symbolic execution is a classic program analysis technique which uses symbolic inputs to explore feasible program paths. It has… Expand
  • table I
  • figure 1
  • table II
  • figure 3
  • table III
Is this relevant?
2015
2015
Static Value Range Analysis for Matlab/Simulink-Models
In this paper we present a static value range analysis of signals within function block diagrams developed with Matlab/Simulink… Expand
Is this relevant?
2012
2012
Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information
In our previous work, we have introduced a technique to unfold the control flow in workflow graphs based upon static information… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2010
2010
Value Range Analysis of Executable Code Based on Abstract Interpretation
The abstract memory model and the abstract run-time environment of executable code are described.The data flow analysis is given… Expand
Is this relevant?
2008
2008
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. A buffer overflow in a C program… Expand
Is this relevant?
2005
2005
Interprocedural Symbolic Range Propagation for Optimizing Compilers
We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2004
2004
Value Range Analysis of Conditionally Updated Variables and Pointers
Pointer-based array traversals are often used by C programmers to optimize sequential memory access. However, the use of pointer… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2004
2004
A unified framework for nonlinear dependence testing and symbolic analysis
This paper presents a unified approach for generalized induction variable recognition and substitution, pointer analysis… Expand
  • figure 4
  • figure 6
  • table 1
  • figure 8
Is this relevant?
Review
2002
Review
2002
2 Value Range Analysis
The knowledge of the precise range of variable values in a given program can be used in a variety of contexts, including compiler… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Supporting Timing Analysis by Automatic Bounding of Loop Iterations
Static timing analyzers, which are used to analyze real-time systems, need to know the minimum and maximum number of iterations… Expand
  • figure 1
  • figure 2
  • figure 3
  • table I
  • table II
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE