• CBMC

  • Referenced in 86 articles [sw09719]
  • Scoot. It allows verifying array bounds (buffer overflows), pointer safety, ex­cep­tions and user...
  • CSSV

  • Referenced in 20 articles [sw13701]
  • realistic tool for statically detecting all buffer overflows in C. Erroneous string manipulations...
  • AddressSanitizer

  • Referenced in 3 articles [sw36264]
  • sanity checker. Memory access bugs, including buffer overflows and uses of freed heap memory, remain...
  • IKOS

  • Referenced in 2 articles [sw14865]
  • approach is demonstrated by a buffer overflow analysis applied to flight control systems...
  • WINTRAC

  • Referenced in 1 article [sw02282]
  • accumulate large queues, resulting in buffer overflows, reduced throughput, unfairness and underutilization. It is generally ... traffic to limit queue buildups and buffer requirements at the network nodes, resulting in significant...
  • SwordDTA

  • Referenced in 1 article [sw17035]
  • four kinds of software vulnerabilities including buffer overflow, integer overflow, division by zero...
  • SIFT

  • Referenced in 1 article [sw20577]
  • broad range of vulnerabilities such as buffer overflow and code injection attacks. Software DIFT implementations...
  • ARTP

  • Referenced in 3 articles [sw02587]
  • order to avoid overflow or underflow of the buffer. This approach allows limited memory devices...
  • OSS-Fuzz

  • Referenced in 0 articles [sw36429]
  • Many of these detectable errors, like buffer overflow, can have serious security implications. Google...
  • FlexTM

  • Referenced in 1 article [sw08815]
  • isolation, which buffers speculative updates in the local cache and uses an overflow table...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • SLEDGE

  • Referenced in 99 articles [sw01217]
  • Using the SLEDGE package on Sturm-Lioville problems...
  • RESTART

  • Referenced in 34 articles [sw02499]
  • RESTART: A method for accelerating rare event simulations...
  • GALib

  • Referenced in 68 articles [sw04086]
  • GAlib: A C++ Library of Genetic Algorithm Components...
  • EISPACK

  • Referenced in 488 articles [sw04208]
  • EISPACK is a collection of Fortran subroutines that...
  • MiBench

  • Referenced in 50 articles [sw04421]
  • This paper examines a set of commercially representative...
  • PolyLib

  • Referenced in 47 articles [sw09923]
  • The Polyhedral Library (PolyLib for short) operates on...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • RacerX: Effective, static detection of race conditions and...
  • CCured

  • Referenced in 24 articles [sw10057]
  • CCured: type-safe retrofitting of legacy code. In...