New customers can spin up VMs, build with AI, and query data at no cost.
Put 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.
Start Free
Build Data Resilience - Take the Assessment Today
Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.
Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
jSET - Java Software Evolution Tracker is a software visualization tool that allows practitioners to assess the magnitude of changes across the versions of a software system.
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques:
1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.
2. Extended Static Checking (ESC). Using ESC/Java2.
3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
cpp2xml is a tool to convert C/C++ definitions into XML.
The main goal is to use the XML as input to code generation tools, but any other usage may be imagined.
Be accommodated in this project a version of CAP (Code Analysis Plugin for Eclipse) valid for Eclipse Indigo.
The version of CAP in sourceforge.net/projects/cap4e/ not work correctly in Eclipse Indigo so I made the appropriate adjustments.
I tried to connect to the original author of CAP4E but without results.
Please, if anyone could do it for me I am willing to give the original author of the updated package for me to post it on the original site.
I then eliminate this...
Code Search and Replace is a tool for finding and replacing code blocks within a group of files. Avoid tediously changing each page and modify all pages in a selected folder at a time. Quickly and efficiently modify your files and get back to work.
A tool to help developers and security professionals conduct manual security code reviews in a consistent and repeatable way. Agnitio aims to replace the adhoc nature of manual security code review documentation, create an audit trail and reporting.
CesTa (Code Enhancing Security Transformation and Analysis) is a tool for enhancing security by program transformations. Focused on Smart Cards (Java Card in particular), powered by Ant, ANTLR and StringTemplates.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.
Justus is a tool set for Progress 4GL (ABL) Developers. It includes a simplified parser for 4GL, an API to load Profiler data and a Test Coverage Tool.
RegexLord is the IDE for developing regular expression assemblies for .NET. Full stop. It provides syntax highlighting (via the sharpdevelop text editor, http://sharpdevelop.net/), bracket matching, namespace management, code folding, and an easy to
Its an Eclipse 3.5 Plugin.
It can be used to find linear paths for unit testing of any method.
The linear path covers all the child methods and till leaf level of the hierarchy.
The packages which should be covered in the path can be controlled.
PegTest is an interactive application for developing parsing expression grammars (PEGs). First, write your grammar. Then, write a test input. Finally, browse how the PEG has parsed your input.
Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.
The "gc" language is a script language with c++ grammer and c++ class library . The gaiasle is a set of script language framework . It has some new ideas about soft development ,specially about web server programs .
The Java Code Clone Detection API (JCCD) allows to implement individual code clone detectors. These code clone detectors can be easily integrated into other Java applications. JCCD is based on a pipeline architecture which allows to replace whole par