Search Results for "control flow graph factory"
Sort By:
Showing 19 open source projects for "control flow graph factory"
View related business solutions-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
Evolia is a web and mobile platform that connects enterprises with 1000’s of local shift workers and offers free workforce scheduling and time and attendance solutions. Is your business on Evolia?
-
1
Flow Chart Control for C/C++ .NET
E-XD++ Flow Chart Control for C, Visual C++, .NET, ASP.NET, with codes
... Loading and Sving, ArcGis Shape Loading And Sving. The VBScript & JavaScript is used for action controlling of any shapes on the canvas. E-XD++ Vector Graphics Solution is similar to latest edition of ConcetpDraw or SmartDraw, it has many hundreds features on vector graphics drawing, editing, printing. It has more than 30 kind of link line styles, and has full features on drawing and editing any kind of network diagram, with automatic graph layout. -
2
Binaryen
Compiler infrastructure and toolchain library for WebAssembly
Binaryen is a compiler and toolchain infrastructure library for WebAssembly, written in C++. 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... -
3
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... -
4
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... -
Managing your therapy and rehab practice is a time-consuming process. You spend hours on paperwork, billing, scheduling, and more. Raintree’s Therapy & Rehab EHR is here to help you manage your practice more efficiently. With our all-in-one solution, you’ll get the tools you need to streamline your therapy and rehab practice, improve patient care, and get back to doing what you love.
-
5
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 popular... -
6
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/ -
7
bugst
Do you want to implement your new program analysis quicky? Use bugst!
... 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. * C benchmarks - A set of small C programs -
8
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. In order... -
9
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... -
Don’t let unpaid invoices limit your business’s growth. EBizCharge plugs directly into the tools your business already uses to speed up payment collection.
-
10
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. -
11
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. -
12
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. -
13
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... -
14
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. -
15
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. -
16
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.
-
17
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/)
-
18
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)
-
19
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