Setjmp.h

Known as: Setjmp, Setjump, Longjmp 
setjmp.h is a header defined in the C standard library to provide "non-local jumps": control flow that deviates from the usual subroutine call and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1995-2016
01219952016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Object bounds overflow errors are a common source of security vulnerabilities. In principle, bounds check instrumentation… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2014
2014
We present an extension of the DIVINE software model checker to support programs with exception handling. The extension consists… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
2011
2011
We recently started the Formalin project to create a formal version of the C99 standard for the C programming language. We are… (More)
Is this relevant?
2007
2007
The checkpointing mechanism described in this paper was successfully used by Condor for several years. By eliminating assembly… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Runtime stacks are critical components of any modern software--they are used to implement powerful control structures such as… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
2006
2006
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper describes LLVM (Low Level Virtual Machine),a compiler framework designed to support transparent, lifelongprogram… (More)
  • figure 4
  • table 1
  • table 2
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
2003
2003
The paper presents the C-Sim simulation tool that enables an experimental evaluation (i.e. testing) of parallel and distributed… (More)
Is this relevant?
1995
1995
Program slicing restricts attention the components of a program relevant to evaluation of one expression, the slicing criterion… (More)
  • figure 11
Is this relevant?