Search Results for "binary analysis tool"
Sort By:
Showing 14 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.
-
Comet Backup - Fast, Secure Backup Software for MSPsComet is a flexible backup platform, giving you total control over your backup environment and storage destinations.
-
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
CodeNarc is a static analysis tool for Groovy source code, enabling monitoring and enforcement of many coding standards and best practices. CodeNarc applies predefined and/or custom rules to each Groovy file, and generates an HTML or XML report. This project has been moved to https://github.com/CodeNarc/CodeNarc.
-
3
pangu.py
Paranoid text spacing in Python
...It’s designed to be pragmatic and lightweight, with sensible defaults that handle common edge cases found in websites, blogs, and multilingual technical docs. Because it targets clarity over heavy linguistic analysis, it’s easy to adopt and delivers immediate, visible improvements to mixed CJK/Latin text. -
4
component-watch
Describe and watch component structure of java programs
"Component-Watch" is a tool discovering, showing and assessing the structure of (big) java programs from their classes. It finds what are the components composing a program, analyse what are the relations between those components and compare those the the permitted relations between components. The tool helps to easily define and display UML-like diagrams showing components and their relationship. -
D&B Hoovers is Your Sales AcceleratorSpeed up sales prospecting with the rich audience targeting capabilities of D&B Hoovers so you can spend more sales time closing.
-
5
This tool helps you to reverse engineer UML Sequence Diagram for your java program at runtime. It works well with both complex java programs (that have multiple threads) and J2EE applications deployed on Application Servers.
-
6
Qfsm
A graphical Finite State Machine (FSM) designer.
A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation. -
7
JITTAC
Just-In-Time Tool for Achitecture Consistency
JITTAC is an Architecture Consistency plug-in for Eclipse that helps maintain consistency between the architectural design and the implementation. It detects the potential problem areas by a method based on Reflexion Model (jrmtool) and prompts the developer accordingly. For a fuller description, please see the website. -
8
K-Surfer
A KNIME extension for the management and analysis of FreeSurfer Data
...For installation guide read the pdf inside the zip. References: Sarica Alessia, Giuseppe Di Fatta, and Mario Cannataro. "K-Surfer: A KNIME Extension for the Management and Analysis of Human Brain MRI FreeSurfer/FSL Data." Brain Informatics and Health. Springer International Publishing, 2014. 481-492. Sarica A, Di Fatta G and Cannataro M (2014). K-Surfer: A KNIME-based tool for the management and analysis of human brain MRI FreeSurfer/FSL Data. Front. Neuroinform. Conference Abstract: Neuroinformatics 2014. doi: 10.3389/conf.fninf.2014.18.00003 -
9
SOMOMOTO
Software Modularization and Monitoring Tool
An Eclipse plug-in to monitor and act against the deterioration of software modularity in Java source code. On going development, with a prototype available. -
Network Management Software and Tools for Businesses and Organizations | Auvik NetworksReduce IT headaches and save time with a proven solution for automated network discovery, documentation, and performance monitoring. Choose Auvik because you'll see value in minutes, and stay with us to improve your IT for years to come.
-
10
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
-
11
-
12
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.
-
13
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.
-
14
The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
- Previous
- You're on page 1
- Next
