Showing 8 open source projects for "flow analysis"

View related business solutions
  • Atera all-in-one platform IT management software with AI agents Icon
    Atera all-in-one platform IT management software with AI agents

    Ideal for internal IT departments or managed service providers (MSPs)

    Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
    Learn More
  • Zendesk: The Complete Customer Service Solution Icon
    Zendesk: The Complete Customer Service Solution

    Discover AI-powered, award-winning customer service software trusted by 200k customers

    Equip your agents with powerful AI tools and workflows that boost efficiency and elevate customer experiences across every channel.
    Learn More
  • 1
    Netcap

    Netcap

    A framework for secure and scalable network traffic analysis

    The Netcap (NETwork CAPture) framework efficiently converts a stream of network packets into platform-neutral type-safe structured audit records that represent specific protocols or custom abstractions. These audit records can be stored on disk or exchanged over the network, and are well-suited as a data source for machine learning algorithms. Since parsing of untrusted input can be dangerous and network data is potentially malicious, a programming language that provides a garbage-collected...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 2
    solgraph

    solgraph

    Visualize Solidity control flow for smart contract security analysis

    Visualize Solidity control flow for smart contract security analysis. Generates a DOT graph that visualizes the function control flow of a Solidity contract and highlights potential security vulnerabilities. A nice example of piping contract source that is in your clipboard through solgraph, dot, and preview: (Use whatever image previewer is available on your system; Preview.app is available on Mac) You have to have graphviz installed (brew install graphviz) to render the DOT file as an image. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Tracing Framework

    Tracing Framework

    Web Tracing Framework libraries and extensions

    The Web Tracing Framework (WTF) is an open source suite of tools, libraries, and visualizers created by Google to help developers analyze and optimize the performance of complex web applications. By adding lightweight instrumentation to their code, developers can trace execution flow, identify bottlenecks, and detect performance regressions. The framework provides fine-grained insights into application behavior, making it particularly useful for achieving smooth, high-performance experiences, such as maintaining 60fps animations in web interfaces. It includes visualization tools that allow for detailed analysis of timing, resource usage, and event flow, enabling developers to diagnose and fix inefficiencies effectively. ...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 4
    Python Taint

    Python Taint

    Static Analysis Tool for Detecting Security Vulnerabilities in Python

    Static analysis of Python web applications based on theoretical foundations (Control flow graphs, fixed point, dataflow analysis) Detect command injection, SSRF, SQL injection, XSS, directory traveral etc. A lot of customization is possible. For functions from builtins or libraries, e.g. url_for or os.path.join, use the -m option to specify whether or not they return tainted values given tainted inputs, by default this file is used.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight Icon
    Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight

    Lock Down Any Resource, Anywhere, Anytime

    CLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.
    Learn More
  • 5
    BinNavi

    BinNavi

    BinNavi is a binary analysis IDE that allows to inspect, navigate, etc

    BinNavi is a binary analysis IDE - an environment that allows users to inspect, navigate, edit, and annotate control-flow-graphs of disassembled code, do the same for the callgraph of the executable, collect and combine execution traces, and generally keep track of analysis results among a group of analysts. BinNavi uses a commercial third-party graph visualisation library (yFiles) for displaying and laying out graphs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Celerity, an open-source, Java based data-flow architecture that provides high performance with fine data granuality. Celerity offers a module based programming environment, which can parrellelize across processors, machines and architectures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next