Search Results for "control flow graph generator"
Sort By:
Showing 23 open source projects for "control flow graph generator"
View related business solutions-
Top-Rated Free CRM SoftwareHubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
-
Save hundreds of developer hours with components built for SaaS applications.Whether you want full self-service analytics or simpler multi-tenant security, Qrvey’s embeddable components and scalable data management remove the guess work.
-
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
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... -
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
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... -
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
5
ransfoil
console to calculate airflow around an airfoil based on RANS approach
... and heat transfer and the effect of surface roughness on near wall flow are considered by this program, it can be used for engineering calculation of the friction drag and heat transfer coefficients on airfoil surface. RANSFOIL reads coordinates data from a 1D XYZ file which describes the grid points or control points on airfoil as only input, then outputs grid and solution files in 2D PLOT3D format to record grid coordinates and airflow data and a report file to show aerodynamic parameters. -
6
Pulover's Macro Creator
Automation Utility - Recorder & Script Generator
Pulover's Macro Creator is a Free Automation Tool and Script Generator based on AutoHotkey language. It features a large range of automation commands, has a built-in recorder and can capture inputs in its interface. The macros can be executed from the program itself or you can export them to AutoHotkey Script format. Pulover’s Macro Creator can automate from simple mouse clicks to complex macros with loops and conditions. The built-in Recorder is a handy tool to create precise macros... -
7
Easy Random
The simple, stupid random Java beans/records generator
Easy Random is a library that generates random Java objects. You can think of it as an ObjectMother for the JVM. The java.util.Random API provides 7 methods to generate random data: nextInt(), nextLong(), nextDouble(), nextFloat(), nextBytes(), nextBoolean() and nextGaussian(). What if you need to generate a random String? Or say a random instance of your domain object? Easy Random provides the EasyRandom API that extends java.util.Random with a method called nextObject(Class type). This... -
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!
... 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 -
Manage printing in a cost-efficient and eco-friendly way with Gelato.The world's largest print on demand network with 130+ production partners across 32 countries. Gelato offers end-to-end design, production and logistics for individuals looking to start their own business today!
-
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. In order... -
11
JILRuntime/JewelScript
An object-oriented script language to embed in any application
A general purpose, object-oriented script language that compiles into code for a register based virtual machine. The language is quite similar to object-oriented high-level languages like Java and C#. The library is entirely self-sufficient and ANSI C compliant. It's main purpose is to be embedded in any application to allow automation of that application through scripting. An integrated C++ binding code generator allows you to create bindings for your application's classes in seconds... -
12
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... -
13
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. -
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
SynApp2 builds feature-packed web applications and versatile PDF reports for MySQL and Oracle Database. The SynApp2 web application generator and MVC framework is written in PHP and JavaScript.
-
21
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)
-
22
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/,
-
23
Hypervisor in model pSeries by IBM is a very powerful solution but not so easy not so cheap too to keep control over all the hardware resources. This project give a chance to control lpars using nmon output style.
- Previous
- You're on page 1
- Next