Search Results for "control flow graph"
Sort By:
Showing 34 open source projects for "control flow graph"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Payroll Services for Small Businesses | QuickBooksEasily pay your team and access powerful tools, employee benefits, and supportive experts with the #1 online payroll service provider. Manage payroll and access HR and employee services in one place. Pay your team automatically once your payroll setup is complete. We'll calculate, file, and pay your payroll taxes automatically.
-
1
Radare2
UNIX-like reverse engineering framework and command-line toolset
.... Assemble and disassemble a large list of CPUs. Runs on Windows and any other UNIX flavor out there. Analyze and emulate code with ESIL. Native debugger and GDB, WINDBG, QNX, and FRIDA. Navigate ASCII-art control flow graphs. Ability to patch binaries, and modify code or data. Search for patterns, magic headers, and function signatures. Easy to extend and modify. Commandline, C API, script with r2pipe in any language. -
2
stress-ng
This is the stress-ng upstream project git repository.
This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces. stress-ng was originally intended to make a machine work hard and trip hardware issues such as thermal overruns as well as operating system bugs that only occur when a system is being thrashed hard. Use stress-ng with caution as some of... -
3
ZIG
General-purpose programming language and toolchain
A general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. -
4
Arduino Launch Control System (LCS)
A single rod model rocket launch control system using the Arduino Nano
This is a single rod model rocket launch control system. The system utilizes the Arduino Uno/Nano to report on local weather conditions (temperature, humidity, barometric pressure). The system also provides a 10-second countdown when the fire button is pressed. The system meets and exceeds the NAR Safety Code standard for model rocket launch systems as it incorporates a removable key to block the flow of power to the launch pad. It incorporates an additional two-button safety system... -
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.
-
5
TurboVNC
High-speed, 3D-friendly, TightVNC-compatible remote desktop software
TurboVNC is a high-performance, enterprise-quality version of VNC based on TightVNC, TigerVNC, and X.org. It contains a variant of Tight encoding that is tuned for maximum performance and compression with 3D applications (VirtualGL), video, and other image-intensive workloads. TurboVNC, in combination with VirtualGL, provides a complete solution for remotely displaying 3D applications with interactive performance. TurboVNC's high-speed encoding methods have been adopted by TigerVNC and... -
6
TortoiseSVN
An Apache SVN client, right where you need it most
TortoiseSVN is a Subversion (SVN) client, implemented as a windows shell extension. Which means it's available right where you need it: in the Windows file explorer. It's intuitive and easy to use, since it doesn't require the Subversion command line client to run. Simply the coolest Interface to (Sub)Version Control! -
7
GridLAB-D is a new power system simulation tool that provides valuable information to users who design and operate electric power transmission and distribution systems, and to utilities that wish to take advantage of the latest smart grid technology. It incorporates advanced modeling techniques with high-performance algorithms to deliver the latest in end-use load modeling technology integrated with three-phase unbalanced power flow, and retail market systems. Historically, the inability...
-
8
Competent Audio
Machine graph audio engine for computer games
Competent Audio (CA) is an audio engine suitable for video games. It is written in C, but is designed for interoperability with other languages. Windows and Linux binaries for x86 and amd64 are available. CA uses a machine graph model with support for arbitrary numbers of machines, limited only by the available system resources: - Samplers play back audio clips. - Mixers combine audio signals and optionally perform signal processing. - Sinks send audio signals to an output device... -
9
MeTA1
secure, reliable, fast MTA
MeTA1 is a message transfer agent that has been designed with these main topics in minds: * Security * Reliability * Efficiency * Configurability * Extendibility MeTA1 consists of five main modules of which only one runs as root: * mcp: the main control program is similar to inetd(8): it starts all other MeTA1 modules and watches over their execution. mcp runs as root in order to bind to port 25 and to change the uid of the processes... -
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.
-
10
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). -
11
powerfactory-fmu
The FMI++ PowerFactory FMU Export Utility
... - Python scripts that generate FMUs from certain PowerFactory models. Additional files (e.g., time series files) and start values for exported variables can be specified. Currently, two types of simulations are supported: In quasi-static steady-state simulations a power system’s evolution with respect to time is captured by a series of load flow snapshots. RMS simulations allow to calculate the time-dependent dynamics of electromechanical models, including control devices (new in version v0.6). -
12
ALEPH-w
Data structures and Algorithms library
... that allows to free deleted entries. Dynamic linear hash tables are implemented too. The main algorithms on graphs are implemented in an easy way and with good performance features. Network Flow (maximum and min cost), cut points, topological sort, spanning trees, min paths. etc. The graphs are generic in the sense that they can contain data independent of the algorithm. Several containers of the C++ STL library are implemented with Aleph-w. Their performance is better than GNU implementation -
13
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.... -
14
experix laboratory control system
instrument control, data acquisition display and analysis
Experix is a command-line driven environment for laboratory data acquisition and device control and graphical presentation and analysis of data. Written in C for GNU-Linux . Tested on PC and Raspberry Pi. The core is written very generally in order to support applications by means of script files. Device interfaces: PCMCIA daq (2 devices tested) via kernel module with interrupt handler and memory-mapped data; USB daq (1 device tested) using libusbx; running an equipment servicing program via... -
15
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. -
16
PCD – Process Control Daemon is a light-weight system level process manager, designed for Embedded Linux based products. The PCD is used for starting the system in a synchronized manner, control and monitor processes and recover from crashes.
-
17
PARUS
Dataflow parallel programming language for clusters
PARUS is a data-flow parallel programming language that allows to build parallel programs for clusters and MPP multiprocessors. The data-flow graph is automatically converted to the C++/MPI source and linked with the libparus runtime library. Also there are available tools for benchmarking cluster interconnect and visualize it. -
18
Disk Diagnostic
Disk diagnostic for disk/controler/driver testing
This is a cli disk diagnostic that runs under Windows, Linux and DOS/BIOS. It is a traditional disk diagnostic in the style of diagnostics going back into the 1960's and the first disk drives. Although CLI driven, I have found it more useful that many other types of diagnostics for disk, controller and driver development than GJI based diagnostics. The command forms are terse, and it allows either use as an immediate mode debugger of drives or it can be used to form full testing... -
19
Molcrunch
An atomic or molecular electronic properties computational package
... includes the ability to deal directly with certain non-Abelian groups as well as all Abelian groups. Linear systems can be treated exactly within the full continuous D-infinity-h or C-infinity-v groups. The package is completely modular, allowing control over ordering of most steps within the limitations imposed by the theory. Flow is controled completely by tcsh shell scripts, many of which are provided in the package. Users may devise their own scripts, of course. -
20
* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
-
21
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. -
22
FunctionCheck is a profiler for C/C++ programs, based on gcc V4.6.3+. Features are flat profile, cycles detection, call-graph, MIN/MAX time in functions, memory profiling, profiling control at execution...
-
23
An Error Handler for C/C++ funtions, focused on code readability. It allows a clear control flow, adding Ignore, Retry, Jump, and Back functionality when a function returns error. It's macro based, written in C and targeting embedded systems.
-
24
RHOcker is a GTK graphic software tool for control and monitoring of electrical resistometry tests in GPIB devices. Allow to configure and manage resistometry test types and captures, stores and graph all data in tests execution.
-
25
This tool designed for fast exporting flow-tools (http://www.splintered.net/sw/flow-tools/) collected data to database. It avoids accidential double import and miss import from files. Extremely fast and reliable. Bit of examples are here - http://www.larionov.pro/2010/07/netflow-3_12.html (Russian).