Search Results for "binary analysis tool"
Sort By:
Showing 27 open source projects for "binary analysis tool"
View related business solutions-
Our Free Plans just got better! | Auth0You 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 security. Auth0 now, thank yourself later.
-
Easy-to-Use Website Accessibility WidgetAll in One Accessibility is an AI based accessibility tool that helps organizations to enhance the accessibility and usability of websites quickly.
-
1
OverCASE
A cross-platform integrated CASE system
....) • Offers ideological and conceptual integrity across all facilities. By adapting a new approach to CASE tool architecture (integration at repository level and developing a component-based CASE system instead of a monolithic tool) an entirely new species of tools can be brought into a useful existence – an integrated environment where all project-related activities can be performed efficiently. -
2
UML and SysML with TRAK
Annotate/link UML and SysML diagrams with TRAK AF elements
Provides UML (SysML) profiles and a MDG for Sparx Systems EA to allow you to add TRAK elements to standard UML and SysML diagrams and link to TRAK architecture descriptions. Links TRAK Resource to UseCase as subject or collaborator and to States exhibited. -
3
odaba
ODABA is an terminology-oriented database management system and develo
ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface and a... -
4
Sparx' EA - MDG for TRAK
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the... -
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.
-
5
FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...
-
6
M2SQL
Replicate your Mumps Globals into Relational Data Base
...Normally you will do the replication process once a day while system is silent. This will give you a Relational Replication for Reporting or Business Analysis using industry standard tools. If you have a huge amount of data on your Mumps Globals you can choose an alternative mechanism in which only changes will be replicated to the target relational database and reflected almost immediately . The tool is a set of Mumps Routines and globals written on top of Intersystem IRIS , but using only pure Ansi standard Mumps . -
7
JAS-mine
Toolkit for agent-based & dynamic microsimulation modelling
JAS-mine is a Java platform that aims at providing a unique simulation tool for discrete-event simulations, including agent-based and microsimulation models. With the aim to develop large-scale, data-driven models, the main architectural choice of JAS-mine is to use whenever possible standard, open-source tools already available in the software development community. It has built-in utilities for communicating with an underlying relational database. -
8
SINVAS UML
UML Modeling Tool for MDD-based Analysis/Design
SINVAS is a software engineering platform tool to support Full Life Cycle of software development, and is composed of five products. SINVAS acquires Traceability, recyclability and visibility of software development. It will help greatly to the improvement of productivity and product quality. If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. -
9
SINVAS
Software Engineering Full Life Cycle Support Tool
...SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ * SINVAS CRY - Cloud computing based online modeling tool : http://cry.sinvas.com/ Thank you for your continuous interest and encouragement. -
Teradata VantageCloud Enterprise is a data analytics platform for performing advanced analytics on AWS, Azure, and Google Cloud.VantageCloud is the complete cloud analytics and data platform, delivering harmonized data and Trusted AI for all. Built for performance, flexibility, and openness, VantageCloud enables organizations to unify diverse data sources, run complex analytics, and deploy AI models—all within a single, scalable platform.
-
10
GUAJE FUZZY
Free software for generating understandable and accurate fuzzy systems
GUAJE stands for Generating Understandable and Accurate fuzzy models in a Java Environment. Thus, it is a free software tool (licensed under GPL-v3) with the aim of supporting the design of interpretable and accurate fuzzy systems by means of combining several preexisting open source tools, taking profit from the main advantages of all of them. It is a user-friendly portable tool designed and developed in order to make easier knowledge extraction and representation for fuzzy systems, paying... -
11
MSCViewer
A tool for visualization and analysis of logs as sequence diagrams
MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems. The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments. MSCViewer features integration with a Python interpreter which allows writing Python scripts... -
12
SAXS_Analyser
Simplie tool for analysis small angle X-ray data.
-
13
PIN
Provenance in NetLogo
This tool can trace, capture, query and visualize the dependency provenance in NetLogo. It consists of four main components: a source code analyzer used to automatically add probes to the model's source code, a NetLogo extension for capturing the provenance traces generated from probes, a non-preprocessing (NP) provenance slicing technique for computing provenance slices using provenance traces, and a visualization component for visualizing the provenance slices. It is compatible with... -
14
The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
-
15
GenLab abbreviation of Genetics Laboratory .It is a user-friendly bioinformatics tool to support your bioinformatics lab work. GenLab creates a software user-friendly environment, which makes users to make a large number of protein, DNA, and RNA sequence analysis and excellent graphical viewing. It also provides powerful environment for simulations of Protein 3D molecular models. GenLab typically provides: •User-friendly graphical tools used for finding and working with relevant regions of DNA, RNA, and protein sequences. ...
-
16
This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome
-
17
PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.
-
18
Bluprint is an Agile-MDA code generator. It is a fuss-free tool supporting code generation from UML modelling tools. It supports model/code merging so engineers can easily extend and maintain generated code. Bluprint has been developed using itself.
-
19
JNOMO is a Jean Plugin for providing more expresiveness in its rule language. This plugin allows for retracting or priorizing rules, removing facts as a rule consecuence or even asking for the "unspecified" information into Knowledge Base.
-
20
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.
-
21
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
-
22
Java Framework for automatic transformation of graph structured Process Models (incl. BPMN import) to block structured BPEL code. A graphical tool is provided for visualisation and testing.
-
23
JRequisite is an agile requirement management tool. Its main goal is to give the developer community a free, user friendly, and powerfull tool for requirement analysis and change management.
-
24
Open Schedulability Tool for Analysis of Real-time Systems (OpenSTARS) is designed to be an efficient, scalable, flexible, and extensible open-source tool and framework that can be used for both offline and online analysis.
-
25
TAT is a tool to aid in producing a list of Actors, Use Cases, Candidate Classes and Attributes from a plain text file of a statement of requirements by highlighting words and clicking on the appropriate button or menu item. Results saved as text or XML.
