Search Results for "using" - Page 3
Sort By:
Showing 58 open source projects for "using"
View related business solutions-
Vibes don’t ship, Retool doesVibe coding tools create cool demos, but Retool helps you build software your company can actually use. Generate internal apps that connect directly to your data—deployed in your cloud with enterprise security from day one. Build dashboards, admin panels, and workflows with granular permissions already in place. Stop prototyping and ship on a platform that actually passes security review.
-
Outgrown Windows Task Scheduler?Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
-
1
NPEDetector
Null dereference verifier for Java Programs
...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. -
2
IncludeChecker
Check for unused #includes in C++ source
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 it will not find all unused #includes, but it will find most of them. -
3
XJML
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) -
4
Hexjector is an Opensource,Cross Platform PHP script to automate Site Pentest for SQL Injection Vulnerabilties.
-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
5
...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.
-
6
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.
-
7
Prime
Programming with Millions of Examples
Prime is a tool capable of downloading massive numbers of code examples, analyzing them, then using the analyzed results for validation, completion or prediction. -
8
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.
