Search Results for "software development using ai" - Page 3

THE tool for monitoring traceability between requirements and Java code. Create a traceability matrix using annotations. Report format: HTML.

NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. Designed to be a sound verifier, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis.

Unused #includes in C++ source lead to unwanted dependencies and slower compile and link timings. IncludeChecker finds most of these unused #includes using a simple heuristic: if you include a file, you need to use one or more symbols from it. If that's not the case, IncludeChecker will mark the #include as unused. IncludeChecker is very customizable to be able to run as an automated task where it will fail as soon as an unused #include is detected. Because of the simple heuristic...

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)

Hexjector is an Opensource,Cross Platform PHP script to automate Site Pentest for SQL Injection Vulnerabilties.

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.

EnDecode is a tool to decode/decompress parts of a binary file like PDF. If using PDF then stream to endstream data can be decompressed. You select from start to end of the part you want to decode and it will decode the data.

Prime is a tool capable of downloading massive numbers of code examples, analyzing them, then using the analyzed results for validation, completion or prediction.

Jistory is an Eclipse plug-in for history sensitive detection of design anomalies in source code. This plug-in aims to aid the developer in writing better code by using history sensitive heuristics to analyse multiple versions of source code.