Search Results for "control flow graph c#"
Sort By:
Showing 40 open source projects for "control flow graph c#"
View related business solutions-
Stay productive working at any distance from anywhere with Monitask.
-
Calmerry is beneficial for businesses of all sizes, particularly those in high-stress industries, organizations with remote teams, and HR departments seeking to improve employee well-being and productivity
-
1
RedtDec
RetDec is a retargetable machine-code decompiler based on LLVM
The decompiler is not limited to any particular target architecture, operating system, or executable file format. ELF, PE, Mach-O, COFF, AR (archive), Intel HEX, and raw machine code supported. 32-bit: Intel x86, ARM, MIPS, PIC32, and PowerPC 64-bit: x86-64 supported. Demangling of symbols from C++ binaries (GCC, MSVC, Borland). Reconstruction of functions, types, and high-level constructs. Output in two high-level languages: C and a Python-like language. Generation of call graphs, control-flow... -
2
Swift
The Swift Programming Language
Swift is a high-performance, general-purpose programming language built with a modern approach to safety, performance, and software design patterns. With a clean and modern syntax, it offers seamless access to existing C and Objective-C code and frameworks. Swift makes it easy to write software that is incredibly fast and safe by design. It comes packaged with core features like flow control, data structures and functions, with high-level constructs like objects, protocols, closures... -
3
Alibaba iLogtail
Fast and Lightweight Observability Data Collector
iLogtail was born for observable scenarios and has many production-level features such as lightweight, high performance, and automated configuration, which are widely used internally by Alibaba Group and tens of thousands of external Alibaba Cloud customers. You can deploy it in physical machines, Kubernetes and other environments to collect telemetry data, such as logs, traces and metrics. Supports a variety of Logs, Traces, and Metrics data collection, and is friendly to container and... -
4
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... -
Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
-
5
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! -
6
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...
-
7
FreeStabilizer
Video editor for video stabilization
Video stabilization tool with unlimited manual control for best results. Freeware, no Installer, no Spyware, no Watermark! Filters can be set independent for horizontal, vertical-axis and the rotation . Download from http://www.audiovideoit.eu/video-stabilization-en.html -
8
TextUS
A framework in which the system is defined by a xml file
TextUS is written in C++. It runs under MS Windows 2000/XP , Linux or Solaris. It includes a simple HTTPS or HTTP server. Importantly, it provides a framework which is similar with AOP(Aspect Oriented Programming). In tTextUS, a software system is composed of all kinds of modules which are some dll files (in MS Windows) or so files ( in Unix etc.). The system is defined by a xml file which describes the data flow and control flow of every module. -
9
vici
Vici - create a UNIX script using a flow chart interface.
Description Vici aims to make the UNIX command line programs easily available to the users of Linux GUI desktop environments. A flow chart can be built with commands and their parameters. This can then be saved as a script which can be installed into the user's desktop as an application. The script supports all Linux commands, pipelines, file redirection, variables, functions, and multiple threads of control. The project includes associated programs for creating syntax charts... -
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
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). -
11
rims-arduino-library
Recirculation infusion mash system library for Arduino
This library implement RIMS controls for home brewers. For definition of a RIMS, see https://tinyurl.com/j3lyuyc For me, an Arduino micro controller + a LCD Keypad shield was cheaper and a lot more customizable than a commercial PID controller. So, with this library, a commercial PID controller is unnecessary. Automatic PID tuning toolkit is also included. Temperature can be read with a thermistor, a resistance temperature detector (RTD) or any custom temperature probe. Heater is... -
12
SLING
A natural language frame semantics parser
.... The SLING project is still work in progress. We do not yet have a full system that can extract facts from arbitrary text, but we have built a number of the subsystems needed for such a system. The SLING frame store is our basic framework for building and manipulating frame semantic graph structures. The Wiki flow pipeline can take a raw dump of Wikidata and convert this into one big frame graph. -
13
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 -
14
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 -
15
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... -
16
LivMach Framework
A virtual organism simulation framework written in C++
This is a C++ code to simulate life processes and responses to external stimulii in multicellular organisms by replicating the data flow in an actual organism using a straightforward approach. It can simulate both stimulus response and life processes(like respiration,excretion etc.) at the same time using multi-threading techniques. Digital DNA simulation- translation and transcription of DNA template to RNA is now supported. Users can also simulate cells and tissues using inbuilt classes. -
17
scmRTOS is tiny Real-Time Preemptive Operating System intended for use with Single-Chip Microcontrollers. scmRTOS is capable to run on small uCs with as little amount of RAM as 512 bytes. The RTOS is written on C++ and supports various platforms.
-
18
The FxEngine is an Open C++ Framework under LGPL license. The FxEngine Framework simplifies the plugin architecture for the data flow processing. It provides a full control to the plugin architecture for applications that require custom solutions.
-
19
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 clone... -
20
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. -
21
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. -
22
Jlint
Static analyzer for Java bytecode
Jlint will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis on the code and building the lock graph. Jlint is fast, easy to learn, and requires no changes in the class files to be checked. -
23
arcadegl
2D - 3D game engine
... (not completed yet) Scen Graph Rotations,translations,SLERP,and other geometric transformations 3D primitives 2D rendering in 3D mode lighting camera,fps camera Input engine async keyboard reading mouse input joystick/joypad Sound effects and music Loading of .WAV files. Vlume,e pan control Loading of music files Utility file packaging end encrypting (for resource) Charset blitting -
24
fesslix
Stochastic Analysis
A brief summary of the main features of Fesslix: - Perform non-intrusive reliability analysis or Bayesian updating either --- by running commands on the command line or --- by means of an Octave interface or --- by means of a Python interface - Flexible input language for writing Fesslix parameter files --- Control flow statements (e.g. if, for, while) --- Most parameters can be defined as functions - Working with response surfaces - Linear finite element analysis using truss, beam... -
25
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.