FAQ

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

Related topics

Related topics

6 relations
Buffer overflowCompilerGNU Compiler CollectionIntel C++ Compiler
(More)

Broader (1)

Static program analysis

Related mentions per year

Related mentions per year

1937-2018
19401960198020002020
Value range analysis
Compiler
Static program analysis
Symbolic computation
Buffer overflow
GNU Compiler Collection

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
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
Creation of a static analysis algorithm using ad hoc programming languages
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
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… (More)
Is this relevant?
2012
2012
Static Analysis of Lockless Microcontroller C Programs
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
Value range analysis of slow-to-start probability based on the cellular automata microsimulation
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
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
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
Value Range Analysis for Higher-Order Programs
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
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… (More)
  • 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… (More)
  • 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… (More)
  • figure 4
  • figure 6
  • table 1
  • figure 8
Is this relevant?