• PyCG

  • Referenced in 1 article [sw37995]
  • contexts, such as profiling and vulnerability propagation analysis. Generating call graphs in an efficient manner ... variables, classes, and modules through an inter-procedural analysis. Based on these assignment relations...
  • JavaPDG

  • Referenced in 1 article [sw26940]
  • However, there are a limited number of analysis tools available despite a wide range ... representations such as the system dependence graph, procedure dependence graph, control flow graph and call ... JavaPDG performs both intra- and inter-procedural dependence analysis, and enables researchers to apply...
  • EBA

  • Referenced in 0 articles [sw19067]
  • efficient and scalable inter-procedural reasoning about resource manipulation. This analysis builds a program abstraction...
  • SPLLIFT

  • Referenced in 2 articles [sw16431]
  • approach that lets you automatically reuse inter-procedural static data-flow analyses implemented ... Lines (SPLs). If, for normal programs, the analysis reports that a piece of analysis information...
  • WALA

  • Referenced in 3 articles [sw04113]
  • The T. J. Watson Libraries for Analysis (WALA...
  • JavaScript

  • Referenced in 166 articles [sw06868]
  • JavaScript is a scripting language for computers. It...
  • Soot

  • Referenced in 30 articles [sw09122]
  • Soot - a Java bytecode optimization framework. This paper...
  • Python

  • Referenced in 2164 articles [sw14460]
  • Python is a widely used high-level, general...
  • Node.js

  • Referenced in 16 articles [sw15665]
  • Is Node.js a viable option for building modern...
  • SeaHorn

  • Referenced in 19 articles [sw18274]
  • The SeaHorn verification framework. In this paper, we...
  • PyYAML

  • Referenced in 7 articles [sw19949]
  • PyYAML is a YAML parser and emitter for...
  • Paramiko

  • Referenced in 2 articles [sw27277]
  • Paramiko is a Python (2.7, 3.4+) implementation of...
  • npm

  • Referenced in 3 articles [sw28430]
  • npm is the world’s largest software registry...
  • JSAI

  • Referenced in 6 articles [sw30521]
  • JSAI: Designing a Sound, Configurable, and Efficient Static...
  • Synode

  • Referenced in 2 articles [sw35854]
  • Synode: Understanding and automatically preventing injection attacks on...
  • Pyan3

  • Referenced in 1 article [sw37996]
  • Pyan3: Offline call graph generator for Python 3...
  • Callgrind

  • Referenced in 1 article [sw37998]
  • Valgrind - Callgrind: a call-graph generating cache and...
  • Depends

  • Referenced in 1 article [sw37999]
  • Depends is a source code dependency extraction tool...
  • SAFEWAPI

  • Referenced in 1 article [sw38000]
  • SAFEWAPI: web API misuse detector for web applications...