Results 1 to 20 of 24
Sort by:

  • 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...