• Snugglebug

  • Referenced in 7 articles [sw13707]
  • analysis for object-oriented programs and frameworks. Many such codes comprise large, partial programs with ... posing significant scalability challenges for any static analysis. We present an approach based on interprocedural...
  • STLlint

  • Referenced in 4 articles [sw33541]
  • libraries. Traditional static checking centers around finding bugs in programs by isolating cases where ... this paper, we introduce STLlint, a program analysis we have implemented for the C++ Standard ... approach that underlies STLlint. We show that static checking of library semantics differs greatly from ... language semantics, requiring new representations of program behavior and new algorithms. Major challenges include checking...
  • RiTHM

  • Referenced in 4 articles [sw16439]
  • input and generates an instrumented C program that is verified at run time ... static analysis and control theory to minimize instrumentation of the input C program and monitoring...
  • RIFLEX

  • Referenced in 3 articles [sw33985]
  • System Analysis Program. RIFLEX is a tailor-made and advanced tool for static and dynamic...
  • Sawja

  • Referenced in 2 articles [sw00827]
  • Static analysis is a powerful technique for automatic verification of programs but raises major engineering ... each implementation of a new static analysis. This paper describes the Sawja library: a static ... OCaml modules for efficiently manipulating Java bytecode programs. We present the main features...
  • SAPFEM

  • Referenced in 1 article [sw08705]
  • general purpose program called SAPFEM for static strength analysis of structure by the finite element ... computer 709, is a widely used program, which deals with thirteen kinds of elements ... used for caculating various types of static structural problems for a single or a composite...
  • Merlin

  • Referenced in 5 articles [sw23076]
  • have seen a proliferation of static and runtime analysis tools for finding security violations that ... caused by explicit information flow in programs. Much of this interest has been caused ... automatically inferring explicit information flow specifications from program code. Such specifications greatly reduce manual labor ... CAT.NET, a state-of-the-art static analysis tool for .NET. We find a total...
  • Gulfstream

  • Referenced in 1 article [sw38005]
  • most approaches in static analysis literature assume that the entire program is available to analysis ... needed. In essence, the entire program is never completely available. Interacting with the application causes ... explores staged static analysis as a way to analyze streaming JavaScript programs. We observe while ... statically. As a result, we advocate the use of combined offline-online static analysis...
  • Vandal

  • Referenced in 0 articles [sw37685]
  • Vandal is a static program analysis framework for Ethereum smart contract bytecode, developed...
  • FISh

  • Referenced in 2 articles [sw12636]
  • higher-order, polymorphic array programming language FISh, that uses static analysis to determine array shapes...
  • GKLEE

  • Referenced in 11 articles [sw12794]
  • concolic verification and test generation for GPUs. Programs written for GPUs often contain correctness errors ... exploration. Existing tools based on conservative static analysis or conservative modeling of SIMD concurrency generate ... called GKLEE that can analyze C++ GPU programs, locating the aforesaid correctness and performance bugs...
  • FindBugs

  • Referenced in 1 article [sw26813]
  • page for FindBugs, a program which uses static analysis to look for bugs in Java...
  • GMRace

  • Referenced in 1 article [sw28764]
  • detecting races in GPU programs. GMRace combines static analysis with a carefully designed dynamic checker...
  • Sharpchecker

  • Referenced in 0 articles [sw36423]
  • Sharpchecker: static analysis tool for C# programs. This ... paper considers various aspects of static analysis of C# programs in order to detect ... time. A complete cycle of software static analysis is described with the main focus being...
  • BANE

  • Referenced in 1 article [sw30929]
  • optimizing program transformations. Static error detection tools use program analysis to alert the programmer...
  • BoogiePL

  • Referenced in 13 articles [sw21521]
  • BoogiePL, an intermediate language for program analysis and program verification. The language is a simple ... functions. BoogiePL can be used to represent programs written in an imperative source language (like ... resulting BoogiePL program, one can then generate verification conditions or perform other program analyses such ... inference of program invariants. In this way, BoogiePL also serves as a programming-notation front...
  • PFVIBAT

  • Referenced in 12 articles [sw01187]
  • program PFVIBAT uses the exact displacement method to perform free and forced vibration analysis entirely ... moments and shear forces as caused by static axial load is optional. Eigenfrequencies and modal...
  • ROSA

  • Referenced in 1 article [sw02381]
  • Optimizations with Static Analysis. R is a popular language and programming environment for data scientists ... work has highlighted inefficiencies in executing R programs, both in terms of execution time ... static analysis framework to improve the performance and space efficiency of R programs. ROSA analyzes...
  • TAXYS

  • Referenced in 21 articles [sw01389]
  • model analysis. From the source code of the application, an ESTEREL program annotated with temporal ... obtain a global model which is statically analyzed to validate timing constraints. This validation should...
  • Gopherlyzer

  • Referenced in 2 articles [sw23206]
  • problem of static deadlock detection for programs in the Go programming language which make ... synchronous channel communications. In our analysis, regular expressions extended with a fork operator capture...