Search Results for "control flow graph" - Page 4
Sort By:
Showing 154 open source projects for "control flow graph"
View related business solutions-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
CodeQL
Libraries and queries that power security researchers
CodeQL is a semantic code analysis engine that treats programs as queryable databases, enabling users to write expressive queries that identify security vulnerabilities, logic bugs, and code quality issues across large codebases. Instead of just pattern matching text, CodeQL ingests source code, builds rich representations of structure and data flow, and allows queries that reason about control flow, type systems, and interprocedural relationships. This makes it powerful not just for basic linting but for deep detection of complex security flaws like SQL injection, cross-site scripting, and taint propagation that traditional static analyzers can miss. CodeQL is used by security teams, developers, and open-source tooling to create reusable query libraries, enforce policy across repositories, and automate findings in CI/CD pipelines. -
2
Siler
Flat-files plain-old PHP functions rockin'on as a set of abstractions
...Flat files and plain-old PHP functions rocking on a production-grade, high-performance, scalable, concurrent and non-blocking HTTP server. Actually, Siler is a library, not a framework (maybe a micro-framework), the overall program flow of control is dictated by you. So, no hidden configs or predefined directory structures. -
3
BeaEngine 5
BeaEngine disasm project
BeaEngine is a C library designed to decode instructions from 16-bit, 32-bit and 64-bit intel architectures. It includes standard instructions set and instructions set from FPU, MMX, SSE, SSE2, SSE3, SSSE3, SSE4.1, SSE4.2, VMX, CLMUL, AES, MPX, AVX, AVX2, AVX512 (VEX & EVEX prefixes), CET, BMI1, BMI2, SGX, UINTR, KL, TDX and AMX extensions. If you want to analyze malicious codes and more generally obfuscated codes, BeaEngine sends back a complex structure that describes precisely the... -
4
GitHub Extension for Visual Studio
GitHub Extension for Visual Studio
The GitHub Extension for Visual Studio provides GitHub integration in Visual Studio 2015 and newer. Most of the extension UI lives in the Team Explorer pane, which is available from the View menu. Use GitHub and Visual Studio to bring CI / CD source control and workflows closer to your code. GitHub compatibility is now integrated into Visual Studio. Get GitHub for Visual Studio set up to bring the GitHub flow to Visual Studio. Authenticate to GitHub.com or GitHub Enterprise, keep the extension up-to-date, and review your preferred settings. Use GitHub for Visual Studio to manage your projects and work with pull requests. -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
Albedo
A recommender system for discovering GitHub repos
Albedo is an open-source recommender system aimed at helping developers discover GitHub repositories by learning from activity signals. It treats repositories and developers as a graph of interactions and applies large-scale matrix factorization to model affinities, with Apache Spark providing the distributed data processing. The project focuses on implicit feedback—stars, watches, and other engagement metrics—so it can build useful recommendations without explicit ratings. A reproducible... -
6
Hercules
Gaining advanced insights from Git repository history
Fast, insightful and highly customizable Git history analysis. Hercules is an amazingly fast and highly customizable Git repository analysis engine written in Go. Batteries are included. Powered by go-git. There are two command-line tools: hercules and labours. The first is a program written in Go that takes a Git repository and executes a Directed Acyclic Graph (DAG) of analysis tasks over the full commit history. The second is a Python script that shows some predefined plots over the... -
7
VivaGraph
Graph drawing library for JavaScript
VivaGraphJS is a powerful, high-performance graph drawing library for JavaScript that enables developers to visualize complex networks directly in the browser or in Node.js environments. It is designed for speed and scalability, handling large graph datasets with smooth rendering and interactive capabilities such as dragging nodes and zooming. The library supports multiple rendering backends including SVG, WebGL, and Canvas, allowing developers to choose the best balance of performance and... -
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
ZM
A library to handle coroutine and green thread in C
ZM is a C library to handle continuations (coroutine, exception, green thread) with finite state machines. The library is written in C99 without external dependecy or machine-specific code and can be compiled in ansi-c or ansi-c++ with the minal effort to define two unsigned int type (uint8_t and uint32_t). -
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
10
git-flow (AVH Edition)
AVH Edition of the git extensions to provide high-level repository ops
A collection of Git extensions to provide high-level repository operations for Vincent Driessen's branching model. This fork adds functionality not added to the original branch. For those who use the Bash or ZSH shell, you can use my fork of git-flow-completion which includes several additions for git-flow (AVH Edition), or you can use the original git-flow-completion project by bobthecow. Both offer tab-completion for git-flow subcommands and branch names with my fork including... -
11
Highland
High-level streams library for Node.js and the browser
Highland is a JavaScript library designed to simplify working with streams and asynchronous data flows by providing a functional programming interface on top of Node.js streams. It allows developers to process data in a declarative and composable way, treating streams as sequences that can be transformed using familiar functional patterns such as map, filter, reduce, and flatMap. The library abstracts away much of the complexity of handling backpressure and asynchronous callbacks, enabling... -
12
SimplyForth
Forth interpreter for Win32
Forth interpreter for Win32. The fastest Forth interpreter. Bilingual user interface (ru/en). Contact e-mail: stribog24031973@gmail.com or mr.smart73@yandex.ru -
13
Gitgraph.js
A JavaScript library to draw pretty git graphs in the browser
A JavaScript library to draw pretty git graphs. GitGraph.js codebase is a monorepo. Packages are released under @gitgraph/ scope. As a contributor, you might be interested in checking out gitgraph-core. It contains the core logic for rendering libraries to use. To help you get your feet wet and get you familiar with our contribution process, we have a list of good first issues that contain bugs that have a relatively limited scope. This is a great place to get started. To draw git graphs... -
14
GRV
GRV is a terminal interface for viewing git repositories
GRV is a terminal-based interface for viewing Git repositories. It allows refs, commits and diffs to be viewed, searched and filtered. The behavior and style can be customized through configuration. A query language can be used to filter refs and commits, see the Documentation section for more information. Commits and refs can be filtered using a query language. Changes to the repository are captured by monitoring the filesystem allowing the UI to be updated automatically. Organized as tabs... -
15
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. -
16
Command-line/Ant-task/embeddable text file preprocessor. Macros, flow control, expressions. Recursive directory processing. Extensible in Java to display data from any data sources (as database). Can generate complete homepages (tree of HTML-s, images, etc.)
-
17
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... -
18
Tangent
Source-to-source debuggable derivatives in pure Python
Existing libraries implement automatic differentiation by tracing a program's execution (at runtime, like PyTorch) or by staging out a dynamic data-flow graph and then differentiating the graph (ahead-of-time, like TensorFlow). In contrast, Tangent performs ahead-of-time autodiff on the Python source code itself, and produces Python source code as its output. Tangent fills a unique location in the space of machine learning tools. As a result, you can finally read your automatic derivative code just like the rest of your program. ... -
19
asynquence
Asynchronous flow control
asynquence is a small, promise-like flow library for composing asynchronous steps into readable sequences. Instead of juggling nested callbacks, you create a chain of operations that pass values forward and route errors consistently. It supports concurrency control via “gates” and “races,” letting multiple tasks proceed and rejoin at the right moment without complex bookkeeping. -
20
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. ... -
21
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.... -
22
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. ... -
23
Corrode
C to Rust translator
Corrode is an experimental translator that converts C code into Rust, intended to help migrate existing C codebases toward safer Rust idioms. It parses C, maps C types and constructs into Rust equivalents, and generates code that compiles under rustc, introducing unsafe only when necessary. The tool seeks to produce readable Rust that a developer can then refine by hand, rather than a perfect one-to-one mechanical translation. It handles common C features such as pointers, structs, enums,... -
24
SoftIB Serial Communicator
UART communications with data flow monitoring
A simple to use serial communication software for communicating with other serial, MCU and Arduino. The SoftIB Serial Communicator communicates with other Serial devices that use a simple asynchronous communication using only the RX and TX signals without any control signals. The application was developed based on the communication with microcontrollers, but it can be used in all other cases. -
25
RIPS - PHP Security Analysis
Free Static Code Analysis Tool for PHP Applications
RIPS is a static code analysis tool for the automated detection of security vulnerabilities in PHP applications. It was released 2010 during the Month of PHP Security (www.php-security.org). NOTE: RIPS 0.5 development is abandoned. A complete rewrite with OOP support and higher precision is available at https://www.ripstech.com/next-generation/
