• TAF

  • Referenced in 85 articles [sw07492]
  • flow analysis. TAF applies an intraprocedural data dependence and an interprocedural data flow analysis. Given...
  • PAG

  • Referenced in 21 articles [sw00669]
  • underlying theories of abstract interpretation and data flow analysis the implementation and design of analyzers ... provably correct and terminating analyses. Data flow analysis supplies many efficient algorithms, such as fixed ... implementation methods from the theory of data flow analysis. PAG has a high level functional ... specify data flow analyses. It offers the generation of complex data structures and is therefore...
  • ROSE

  • Referenced in 4 articles [sw04891]
  • available include call graph analysis, control flow analysis, data ... flow analysis (live variables, def-use chain, reaching definition, alias analysis, etc.), class hierarchy analysis ... data dependence and system dependence analysis, and MPI communication pattern analysis. Representative program optimizations...
  • Wirtinger Flow

  • Referenced in 110 articles [sw34175]
  • Phase Retrieval via Wirtinger Flow: Theory and Algorithms. We study the problem of recovering ... efficient both in terms of computational and data resources. In theory, a variation on this ... with various experiments on image data. Underlying our analysis are insights for the analysis...
  • YAWL

  • Referenced in 60 articles [sw04388]
  • based on Petri nets and a rigorous analysis of existing workflow management systems and workflow ... patterns. YAWL supports the control-flow perspective and the data perspective and is based...
  • Jakstab

  • Referenced in 4 articles [sw25254]
  • static analysis framework for designing analyses on executables and recovering reliable control flow graphs ... performs data flow analysis on the growing control flow graph. Data flow information is used...
  • SimVascular

  • Referenced in 18 articles [sw25043]
  • medical image data segmentation to patient-specific blood flow simulation and analysis. This package serves...
  • SCALE 6.2

  • Referenced in 6 articles [sw18190]
  • files to control the logical flow of the analysis. Data are passed between individual computational...
  • Lintent

  • Referenced in 2 articles [sw21576]
  • fixed, mostly through techniques from data-flow analysis, runtime protection mechanisms, or changes...
  • Livarh

  • Referenced in 2 articles [sw31778]
  • notion of live variables from data-flow analysis in compiler theory and redesign the algorithm...
  • Livarhacc

  • Referenced in 2 articles [sw31779]
  • notion of live variables from data-flow analysis in compiler theory and redesign the algorithm...
  • DataFAN

  • Referenced in 1 article [sw14763]
  • DataFAN: A practical approach to data flow analysis for Ada 95. Safety- and mission-critical ... requires developing high-quality, reliable code. Static analysis tools have been proposed to assist developers ... development of DataFAN, a data-flow analysis tool satisfying these requirements...
  • GTM

  • Referenced in 57 articles [sw39434]
  • analysis which is based on a linear transformations between the latent space and the data ... problem and on simulated data from flow diagnostics for a multi-phase oil pipeline...
  • Spark

  • Referenced in 41 articles [sw23653]
  • systems are built around an acyclic data flow model that is not suitable for other ... those that reuse a working set of data across multiple parallel operations. This includes many ... learning algorithms, as well as interactive data analysis tools. We propose a new framework called...
  • CPPX

  • Referenced in 1 article [sw21663]
  • relies on the preprocessing, parsing, and semantic analysis of GNU g++, and produces a graph ... suitable for use by architecture recovery, data flow analysis, pointer analysis, program slicing, query techniques...
  • Pyronia

  • Referenced in 1 article [sw35848]
  • need for application refactoring, or unintuitive data flow analysis, while enforcing the developer’s access...
  • FlowFP

  • Referenced in 1 article [sw19119]
  • package called flowFP for the analysis of flow cytometry data is introduced. The package, which ... analysis of flow cytometry, provides tools to transform raw flow cytometry data into a form ... suitable for direct input into conventional statistical analysis and empirical modeling software tools. The approach ... multivariate probability distribution function of flow cytometry data in the form of a “fingerprint...
  • JUNG

  • Referenced in 11 articles [sw12112]
  • algorithms from graph theory, data mining, and social network analysis, such as routines for clustering ... random graph generation, statistical analysis, and calculation of network distances, flows, and importance measures (centrality ... tools for the interactive exploration of network data. Users can use one of the layout ... JUNG provides a common framework for graph/network analysis and visualization. We hope that JUNG will...
  • BackFlow

  • Referenced in 1 article [sw34336]
  • context-sensitive flow reconstruction of taint analysis results. Taint analysis detects if data coming from ... world software. A main drawback of static analysis is that it could produce false alarms ... explain the flow of tainted data from the results of the analysis, to understand ... results of a taint-analysis engine, reconstructs how tainted data flows inside the program...
  • EigenCFA

  • Referenced in 3 articles [sw14136]
  • algorithm for accelerating higher-order control-flow analysis (specifically, 0CFA) with a GPU. Ultimately ... view that GPUs accelerate high-arithmetic, data-parallel computations with a poor tolerance for branching ... data structures and operations turned out to be the critical accelerants. Because control-flow graphs ... permitting data races. The monotonicity of 0CFA makes it sound to perform analysis operations...