Search Results for "control flow graph factory"
Sort By:
Showing 21 open source projects for "control flow graph factory"
View related business solutions-
Auth0 for AI Agents now in GAConnect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.
-
AI-First Supply Chain ManagementLogility is a market-leading provider of AI-first supply chain management solutions engineered to help organizations build sustainable digital supply chains that improve people’s lives and the world we live in. The company’s approach is designed to reimagine supply chain planning by shifting away from traditional “what happened” processes to an AI-driven strategy that combines the power of humans and machines to predict and be ready for what’s coming. Logility’s fully integrated, end-to-end platform helps clients know faster, turn uncertainty into opportunity, and transform the supply chain from a cost center to an engine for growth.
-
1
LangGraph
Build resilient language agents as graphs
LangGraph is a library for building stateful, multi-actor applications with LLMs, used to create agent and multi-agent workflows. Compared to other LLM frameworks, it offers these core benefits: cycles, controllability, and persistence. LangGraph allows you to define flows that involve cycles, essential for most agentic architectures, differentiating it from DAG-based solutions. As a very low-level framework, it provides fine-grained control over both the flow and state of your application,... -
2
Binaryen
Compiler infrastructure and toolchain library for WebAssembly
...It aims to make compiling to WebAssembly easy, fast, and effective. Binaryen has a simple C API in a single header, and can also be used from JavaScript. It accepts input in WebAssembly-like form but also accepts a general control flow graph for compilers that prefer that. Binaryen's internal IR uses compact data structures and is designed for completely parallel codegen and optimization, using all available CPU cores. Binaryen's IR also compiles down to WebAssembly extremely easily and quickly because it is essentially a subset of WebAssembly. Binaryen's optimizer has many passes (see an overview later down) that can improve code size and speed. ... -
3
Flow Chart Control for C/C++ .NET
E-XD++ Flow Chart Control for C, Visual C++, .NET, ASP.NET, with codes
From the first version of E-XD++, it already has the full features on Visio Style flowchart Vector Editing, the current version of E-XD++ has performed its functions to extreme, basically, if you want to build any very professional Visio -Like flowcharts, network diagrams based applications, E-XD++ will be the best choice. http://www.ucancode.net It has almost all the features of the latest edition of Microsoft Visio. It supports SVG Importing and Exporting. DXF Importing and Exporting,... -
4
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. ... -
Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum KnightCLEAR 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.
-
5
Fruit
Fruit, a dependency injection framework for C++
Fruit is a modern dependency-injection framework for C++ that brings type-safe, compile-time-checked wiring to large codebases. Instead of relying on runtime string keys or service locators, bindings are expressed with templates and policy objects that the compiler verifies. It supports constructor injection, assisted injection for factory patterns, scoping (singleton vs. per-request), and provider chains while keeping overhead minimal. Modules declare provided interfaces and requirements,... -
6
Flowy
The minimal javascript library to create flowcharts
flowy is a minimal JavaScript library for building interactive flowchart-style interfaces in web applications, allowing developers to create node-based editors, automation builders, or visual programming tools with relatively little code. It provides draggable, connectable blocks (nodes) that can be placed on a canvas, connected via lines, and rearranged dynamically while preserving the underlying graph structure. The library focuses on simplicity and aesthetics, offering a clean look out of... -
7
KwaMoja
Out of Africa comes KwaMoja. A fresh start for webERP!
KwaMoja is designed to help you manage your business in a more efficient and profitable manner. It combines your book keeping needs with all the tools to plan your inventory purchases. It will let you know when your factory needs to start manufacturing parts in order to keep up with orders. It will help you better manage your cash flow. All these and more will help your business become more efficient, and greater efficiency will equal greater profits. KwaMoja is a fork of the once... -
8
TP-COBOL-DEBUGGER
A COBOL debugger for GnuCOBOL/OpenCOBOL written in GnuCOBOL
A COBOL debugger for GnuCOBOL written in GnuCOBOL. Works with both current GnuCOBOL and old GnuCOBOL/OpenCOBOL 1.1; could be used for other vendors with slightly modifications, too. Take a look at https://gnucobol.altervista.org/tp-cobol-debugger/ -
9
bugst
Do you want to implement your new program analysis quicky? Use bugst!
...The second important goal of Bugst is improving scalability of its libraries to programs used in practice, since experiments performed on such programs usually give solid experimental evidence of practical usability of the evaluated method. Bugst's important content: * lonka - Control-flow graph based program representation. * symtex - Program analysis called Symbolic Execution * cosymtex - Program analysis called Compact Symbolic Execution * segy - Symbolic Memory with pointers and pointer arithmetic * llvm2celllvm - Translates LLVM to constant-expressions-less LLVM. * celllvm2lonka - Translates constant-expressions-less LLVM into Lonka... -
Turn more customers into advocates.The platform's advanced capabilities ensure companies get the most out of their referral programs. Leverage custom events, profiles, and attributes to enable dynamic, audience-specific referral experiences. Use first-party data to tailor customer segment messaging, rewards, and engagement strategies. Use our flexible APIs to build management capabilities and consumer experiences–headlessly or hybrid. We have all the tools you need to build scalable, secure, and high-performing referral programs.
-
10
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. This library is immensely powerful, and not easily replaceable. ... -
11
Excel to Graphviz
Create graphviz diagrams with excel
Free, easy to use, excel tool to create data and process flow diagrams with table data In separate excel sheets you define items(nodes), lines(edges) and grouping(clusters) Separate definition of node, edge and cluster styles Graph settings sheet Output control sheet Examples and readme are included in the zip file Get it working: -Install graphviz (http://graphviz.org/Download.php) -Download Excel to Graphviz -Open one of the ExcelToGraphviz workbooks -Go to sheet settings and update "dotpath" to where graphviz' dot.exe was installed (e.g. ... -
12
ToyBasic
A language interpreter for Basic in VB.net
ToyBasic is a language that is centered around teaching people who are interested in language translation how to create an interpreter in VB .net. It was inspired by Tea With the Mad Hacker: Let's Build an Interpreter. -
13
drgarbagetools
Open source tools for control flow analysis of java programs
Dr. Garbage Tools Project is a set of open source tools for control flow analysis of java programs, including Java Sourcecode Visualizer, Bytecode Visualizer and Control Flow Factory for generation and visualization of the various Control Flow Graphs. The tools are the result of a research project on the University of Oldenburg and have been developed by the Dr. Garbage Ltd. & Co KG. -
14
Pyxplot
Graph Plotting Package and Scientific Scripting Language
Pyxplot is a scientific scripting language, graph plotting tool and vector graphics suite. It runs in a command-line environment under Linux, Mac OS X, and other POSIX systems. -
15
Medusa
An open source interactive disassembler
Medusa is a disassembler designed to be both modular and interactive. It runs on Windows and Linux, it should be the same on OSX. This project is organized as a library. To disassemble a file you have to use medusa_text or qMedusa. Medusa requires the following libraries: boost >= 1.55 (system, filesystem, thread, date_time), OGDF (required git), and Qt5 >= 5.2 for the GUI. You also need CMake for compilation and a C++11 compiler (VS2015 update 2 on Windows). Git is optional but allows to... -
16
Iterative Flow Analysis
Iterative Data and Control Flow Analysis
https://github.com/jplevyak/ifa IFA, Iterative Flow Analysis is a combined data-flow and control flow analysis. It is capable of resolving the concrete types (as opposed to the nominal or declared types) and the interprocedural call graph for statically or dynamically typed programs. -
17
CoFlo
C and C++ control flow graph generator and analyzer
CoFlo generates Control-Flow Graphs from C and C++ source code. It can then output the graphs in a number of ways and perform various control flow analyses. NOTE: CoFlo has not been under active development for several years. At this time, I suggest you look into LLVM-based tooling to see if there is anything similar to CoFlo which will meet your needs. -
18
The Network-Integrated Multimedia Middleware (NMM) is a flow graph based multimedia framework that allows to create distributed multimedia applications: local and remote multimedia devices or software components can be combined.
-
19
A plugin for the Eclipse IDE to generate control flow graphs and show coverage information. Supports node, edge, edge-pair and prime path coverage. Based on the Eclipse Control Flow Graph Generator (http://eclipsefcg.sourceforge.net/)
-
20
Open source high-level synthesis system developed within the FP7 OSMOSIS project. Includes gcc-based SystemC front-end, database with browsing GUI, scheduler/allocator/binder, and Verilog back-end. (We are under migration to SVN server now)
-
21
The Kiwi Thread Framework supports multi thread programming for Mac OS X. You can implement hierarchical control/data flow graph using this framework. For more details see http://kiwi-thread-fmk.sourceforge.net/,
- Previous
- You're on page 1
- Next
