Search Results for "control flow graph" - Page 11
Sort By:
Showing 349 open source projects for "control flow graph"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
SEWOL: Security-oriented Workflow Lib
Java Library for workflow handling
...It allows to specify the shape and content of process traces in terms of entries representing the execution of a specific workflow activity. Currently it supports plain text, Petrify, MXML and XES log file types. In order to specify security-related context information, SEWOL provides access control models such as access control lists (ACL) and role-based access control models (RBAC). SEWOL uses and encloses the following libraries: - TOVAL (http://sourceforge.net/p/toval), - JAGAL (http://sourceforge.net/p/jagal), - OpenXES (http://www.xes-standard.org/openxes/), - Spex (http://code.deckfour.org/Spex/) - Google Guava (https://github.com/google/guava), - xstream (http://xstream.codehaus.org/) and - graph-impl and visualization components of Jung 2 (http://jung.sourceforge.net/). ... -
2
It's a web application which provides a unify solution to stat. CVS/SVN repository modules code change information and generate html reports. User can browse line of change, file of change, code diff, check-in comment and so on, it can stat. more repository modules one time. After repository modules configured, stat. is simple like a search.
-
3
Stat cvs/svn Code Change
stat. cvs,svn code changes and generate html report
It's a web application which provides a unify solution to stat. CVS/SVN repository modules code change information and generate html reports. User can browse line of change, file of change, code diff, check-in comment and so on, it can stat. more repository modules one time. After repository modules configured, stat. is simple like a search. It's the mirror project of CodeChangeViewer: http://sourceforge.net/projects/ccv/. -
4
SERAM: Security Reasoning Framework
Framework for security-related definition and reasoning.
The content of SERAM has been moved to the security-oriented workflow library SEWOL: https://sourceforge.net/projects/jawl/ SEARM provides support for the definition of access control policies, such as ACLs and RBAC models. Additionally, it allows to specify inference policies and comprises techniques for reasoning about inferences and information distribution along a set of inference rules. -
PRTG Catches Network Issues Before They Cause DowntimeReactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
-
5
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.
-
6
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.
-
7
Prestashop Rating Review+Google Snippets
Product Review & Google Snippet SEO Boost module for Prestashop facili
Product Review & Google Snippet SEO Boost module for Prestashop facilitates merchants to generate Rich snippets for user given rating and reviews in their website and include them in Search Engines to give convenient summary information about Product information in Search Engines with dynamic content on user ratings and reviews. This module integrates with the PrestaShop eCommerce Software and enables buyers or registered users or any visitors of the websites to give ratings and reviews... -
8
Model Transformation Tools
Bond-graph based modelling tools
A set of tools for modelling dynamic physical systems using the bond-graph methodology and transforming these models into representations suitable for analysis, control and simulation. These tools use, and generate m files for, GNU Octave. -
9
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... -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
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. -
11
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. -
12
coreBOS::core Business Operating System
The one stop software solution for your business.
coreBOS is a business empowering tool, an adaptable software program that will help your business accomplish it's goals. Please go to GITHUB: https://github.com/tsolucio/corebos which is where all the action is happening. -
13
EJS
Embedded JavaScript templates for node
...The idea is to avoid introducing a separate DSL for templating and instead use familiar JavaScript logic inside template tags to generate dynamic content. You write templates using <% %> scriptlet tags, <%= %> for output, and you can include other templates, pass data, and control flow with loops and conditionals. It’s fast because it compiles templates to JavaScript functions and caches them by default, so subsequent rendering is efficient. EJS supports both server-side render (in Node/Express) and client-side use in the browser, making it versatile for universal apps. Because you’re using raw JS, debugging is simple—the errors are standard JS stack traces with template line numbers included. ... -
14
OpenROCS
Software platform developed for the robotic control of telescopes.
OpenROCS conforms an independent control layer for robotic observatories. It is a master scheduler of the processes that the system has to execute and a monitor of the overall state of the observatory. It controls the end-to-end data flow and the housekeeping processes by handling a set of predefined events. The former are responsible for ensuring that the system executes the routine operation by maximizing the scientific return of the facility. -
15
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. -
16
WTF Obfuscator
WTF Obfuscator is a new obfuscator for your .NET applications
[W]hat [T]he ob[F]uscator is a new obfuscator which protects your application. Not too good protection until! -
17
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 and plane stress/strain elements - Spectral Stochastic Finite Elements - Bayesian networks This is the download page for Windows executables of Fesslix. -
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
yieldbuddy
yieldbuddy - an Arduino and Raspberry Pi based Environment Controller
yieldbuddy is an open source hydroponics controller for your indoor or outdoor grow. The Arduino sends multiple serial messages a second containing information like sensor values, relay on/off states, manual/auto modes, etc. The web interface (hosted by the Raspberry Pi running Apache2 and PHP5), allows you to login to the page and from there you can see graphs of all your sensors, their current values, whether or not your equipment is on/off (relay states), your web camera, etc. The... -
20
Molcrunch
An atomic or molecular electronic properties computational package
...The symmetry filtering 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. -
21
SPARGEL
An opensource Java graph library. Abandoned, ignore.
...As now, implemented are: * Adjecency graph data structures * Algorithms: SSSP, APSP, Traversal, Min-Cut, Max-Flow, Many types of finding Components * Creating sub graphs, vertice and edge maps that use a function to implement their mapping. Spargel is released under GPLv3 -
22
Control Isolator
A Control Flow Java library based on Apache Commons SCXML state machin
The purpose of this library is making it possible to define a state machine that defines the life cycle phases of an application or process allowing to isolate working phases separating flow into "Works", each of them capable of executing one or more activities. The state machine is defined visually with the help of a WYSIWYG designer and stored in a common xml format: During execution it is possible to track the state of the application visually by connecting to a socket. Under... -
23
DTEv2 (PHP template engine)
The completely data-driven template engine in PHP.
Have you ever thought why you need to use "if", "else", etc in an HTML template with a template engine written in PHP even when PHP can do it? In fact, there is no technical reason supporing it. Here, we provide you a pure data-driven template solution so that no control flow structures are ever allowed in HTML templates. Document Template Engine version 2 (DTEv2) is a template engine written in PHP. It is completely data-driven. So HTML template files and their corresponding PHP source codes are totally separated. In addition, when you edit template files in Dreamweaver the template pieces does not confuse Dreamweaver. ... -
24
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. -
25
* 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
