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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2004-2018
01220042018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Symbolic execution is a classic program analysis technique which uses symbolic inputs to explore feasible program paths. It has… (More)
  • table I
  • figure 1
  • table II
  • figure 3
  • table III
Is this relevant?
2016
2016
The complexity of software grows every year, and while there are many programming techniques and new languages that accommodate… (More)
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… (More)
Is this relevant?
2012
2012
Concurrently accessing shared data without locking is usually a subject to race conditions resulting in inconsistent or corrupted… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2010
2010
Aimed at the typical problems for the arbitrary decision when choosing a value of slow-to-start probability, a value range… (More)
  • figure 3
  • figure 2
  • figure 4
  • figure 1
Is this relevant?
2008
2008
We may not be able to make you love reading, but value range analysis of c programs towards proving the absence of buffer… (More)
Is this relevant?
2007
2007
We develop a value range analysis for higher-order programs. The analysis extracts a nugget that characterizes the value bindings… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 7
Is this relevant?
2005
2005
We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables… (More)
  • 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… (More)
  • 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… (More)
  • figure 4
  • figure 6
  • table 1
  • figure 8
Is this relevant?