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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
  • 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
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
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
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 describes a static analysis for detecting buffer overflows. A buffer overflow in a C program… Expand
Is this relevant?
2005
2005
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
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
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
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
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?