• RIGAL

  • Referenced in 3 articles [sw02985]
  • parsing, optimization and code generation, can be programmed in this language in short and readable ... code optimization, code generation, static analysis of programs, as well as for the programming...
  • Ilea

  • Referenced in 3 articles [sw22674]
  • failures; Java compilers perform static analysis for optimization.allIf Java programs contain foreign function calls...
  • TyPiCal

  • Referenced in 8 articles [sw23207]
  • static analyzer for the pi-calculus. The current version of TyPiCal provides the following program ... program transformations: lock-freedom analysis, deadlock-freedom analysis, useless-code elimination, information flow analysis ... termination analysis. The former two analyses aim to statically analyze whether each communication succeeds ... following questions about the behavior of concurrent/distributed programs: Does the server eventually accept every request...
  • COSMOS/M

  • Referenced in 12 articles [sw04289]
  • workstations. The program includes modules to solve linear and nonlinear static and dynamic structural problems ... electromagnetics and optimization. Modules for such special analysis options as fatigue are also available...
  • Skink

  • Referenced in 1 article [sw28628]
  • Skink: Static Analysis of Programs in LLVM Intermediate Representation. Skink is a static analysis tool...
  • CiaoPP

  • Referenced in 45 articles [sw12089]
  • program debugging, analysis, and source-to-source transformation tasks on (Ciao) Prolog programs. These tasks ... predicates and literals of the program, including types, modes and other variable instantiation properties ... terms in the program, etc. Certain kinds of static debugging and verification, finding errors before...
  • STANSE

  • Referenced in 2 articles [sw26812]
  • finding bugs in C programs using static analysis. Its two main design goals...
  • GDSL

  • Referenced in 3 articles [sw13118]
  • semantics to machine language. The static analysis of executable programs has gained importance...
  • SANTE

  • Referenced in 4 articles [sw07252]
  • SANTE tool: value analysis, program slicing and test generation for C program debugging. This short ... SANTE (static analysis and testing) implementing an original method combining value analysis, program slicing...
  • BicolanoMT

  • Referenced in 3 articles [sw28593]
  • developed to be suited for program verification and static analysis...
  • Clara

  • Referenced in 6 articles [sw14035]
  • residual monitor only watches events triggered by program locations that the analyses failed to prove ... experiments, the static analysis succeeds on all locations, proving that the program fulfills the stated...
  • GRace

  • Referenced in 3 articles [sw28845]
  • detecting races in GPU programs that combines static analysis with a carefully designed dynamic checker...
  • DLEARN

  • Referenced in 3 articles [sw26600]
  • Linear static and dynamic finite element analysis. .. Chapter 11 presents the computer program DLEARN, which ... program is intended to deal with linear static and dynamic analysis problems and involves ... elastic truss element. The structures of the program is modular and multipurpose, its open-ended...
  • VeriStar

  • Referenced in 3 articles [sw09393]
  • style program analysis for C minor, VeriStar demonstrates that fully machine-checked static analyses equipped ... tightly integrated collection of machine-verified program logics and compilers giving foundational correctness guarantees.par VeriStar ... implemented in Gallina, the pure functional programming language embedded in the Coq theorem prover ... that when the static analysis+theorem prover says a C minor program is safe...
  • Verasco

  • Referenced in 12 articles [sw19985]
  • absence of run-time errors in analyzed programs. The analyzer is based on abstract interpretation ... novelty of Verasco, compared with other static analysis tools, is that it is entirely specified ... proof guarantees, with mathematical certainty, that programs that analyze without alarms are free...
  • MemCAD

  • Referenced in 1 article [sw21714]
  • designing a framework for the static analysis of programs manipulating complex memory states. A very ... real programs, such as arrays, linked structures, strings... While static analysis techniques have been developped ... analysis tool. The purpose of the MemCAD project is to propose ways to combine analysis ... infer precise invariants about programs manipulating complex data structures, composed of intricate combinations of basic...
  • CacheAudit

  • Referenced in 7 articles [sw32299]
  • automatic, static analysis of cache side channels. CacheAudit takes as input a program binary...
  • Calysto

  • Referenced in 7 articles [sw31588]
  • scalable and precise extended static checking. Automatically detecting bugs in programs has been a long ... automation, thoroughness of coverage of program behavior, precision of analysis, and scalability to large code ... bases. This paper presents the Calysto static checker, which achieves an unprecedented combination of precision...
  • ompVerify

  • Referenced in 2 articles [sw26768]
  • Programmer. We describe a static analysis tool for OpenMP programs integrated into the standard open ... analysis is based on the polyhedral model, and covers a class of program fragments called ... Affine Control Loops (ACLs, or alternatively, Static Control Parts, SCoPs). ompVerify automatically extracts such ACLs...
  • PathCrawler

  • Referenced in 10 articles [sw07253]
  • from the approximations and complexity of static analysis, nor from the number of executions demanded ... rigorous and systematic testing of sequential programs coded in imperative languages...