• TAF

  • Referenced in 83 articles [sw07492]
  • normalizes the code and applies a control flow analysis. TAF applies an intraprocedural data dependence...
  • Bebop

  • Referenced in 74 articles [sw08928]
  • checker for boolean programs. Bebop represents control flow explicitly, and sets of states implicitly using...
  • DiffSharp

  • Referenced in 45 articles [sw16033]
  • swell and cannot fully handle algorithmic control flow. Using the DiffSharp library, differentiation (gradients, Hessians ... expressive capability of the language including control flow. DiffSharp allows composition of differentiation using nested...
  • YAWL

  • Referenced in 60 articles [sw04388]
  • workflow patterns. YAWL supports the control-flow perspective and the data perspective and is based...
  • FUN3D

  • Referenced in 44 articles [sw13801]
  • study airframe noise, space transportation vehicles, flow control devices using synthetic jets, the design...
  • JFlow

  • Referenced in 26 articles [sw20595]
  • JFlow: practical mostly-static information flow control. A promising technique for protecting privacy and integrity ... sensitive data is to statically check information flow within programs that manipulate the data. While ... been integrated successfully with static information flow control, including objects, subclassing, dynamic type tests, access...
  • Cg

  • Referenced in 32 articles [sw14154]
  • processors, with support for data-dependent control flow in the vertex processor. We present...
  • Jif

  • Referenced in 19 articles [sw16478]
  • extends Java with support for information flow control and access control, enforced at both compile...
  • GPUVerify

  • Referenced in 10 articles [sw11260]
  • kernels represented by arbitrary reducible control flow graphs and compare this semantics with a traditional ... allows GPU kernels with arbitrary reducible control flow graphs to be verified via transformation ... similar method for structured programs, i.e., where control is organised using if and while statements ... Among these kernels, 42 exhibit unstructured control flow which our novel method can handle fully...
  • Paragon

  • Referenced in 9 articles [sw13306]
  • Paragon for practical programming with information-flow control. Conventional security policies for software applications ... managing concerns on the level of access control. But standard abstraction mechanisms of mainstream programming ... believe that such control -- information flow control -- is needed to manage ... support for static checking of information flow control policies. Paragon policies are specified...
  • DyC

  • Referenced in 13 articles [sw09692]
  • point in the annotated procedure’s control-flow graph; the analysis supports program-point-specific ... time specializer are open to user control through declarative policy annotations. DyC has been implemented...
  • FlowFox

  • Referenced in 8 articles [sw37815]
  • browser with flexible and precise information flow control. We present FlowFox, the first fully functional ... implements a precise and general information flow control mechanism for web scripts based ... prohibitive. Our prototype implementation shows that information flow enforcement based on secure multi-execution...
  • Dytan

  • Referenced in 7 articles [sw31722]
  • consider tainting due to control flow, which limits their applicability outside the security domain ... performing both data-flow and control-flow based tainting conservatively, and (3) does not rely...
  • CFDShip-Iowa

  • Referenced in 17 articles [sw07507]
  • against experimental data for the proportional controller, the flow field and forces and moments...
  • Venture

  • Referenced in 10 articles [sw14670]
  • random variables. The SPI supports custom control flow, higher-order probabilistic procedures, partially exchangeable sequences...
  • gcl

  • Referenced in 9 articles [sw07212]
  • simple, yet it supports arrays, flow control structures, user-defined procedures, etc. The processors...
  • JSAI

  • Referenced in 6 articles [sw30521]
  • integer and boolean constant propagation, and control-flow analysis. In addition, JSAI allows for analysis ... control-flow sensitivity (i.e., context-, path-, and heap-sensitivity) to be modularly configured without requiring...
  • MPL

  • Referenced in 8 articles [sw36143]
  • other statements to support plural control flow. The MPL compiler is based...
  • Jakstab

  • Referenced in 4 articles [sw25254]
  • analyses on executables and recovering reliable control flow graphs. It is designed to be adaptable ... data flow analysis on the growing control flow graph. Data flow information is used ... together with the main control flow reconstruction to improve precision of the disassembly, or they ... work on the resulting preprocessed control flow graph...
  • DynaMIT

  • Referenced in 16 articles [sw01808]
  • terms of infrastructure, traffic flow and traffic control. This paper describes the design and specification...