Search Results for "static code analysis" - Page 2
Sort By:
Showing 74 open source projects for "static code analysis"
View related business solutions-
$300 in Free Credit for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credit—no hidden charges. Test, build, and deploy without risk. Use your credit across the Google Cloud platform to find what works best for your needs. After your credits are used, continue building with free monthly usage products. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Ship AI Apps Faster with Vertex AIShip AI apps and features faster with Vertex AI—your end-to-end AI platform. Access Gemini 3 and 200+ foundation models, fine-tune for your needs, and deploy with enterprise-grade MLOps. Build chatbots, agents, or custom models. New customers get $300 in free credit.
-
1
SINVAS
Software Engineering Full Life Cycle Support Tool
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. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management... -
2
Halstead Metrics Tool
Software Metrics Analyzer for C,C++,Java Programs
Some software measures are still not widely used in industry, despite the fact that they were defined many years ago, and some additional insights might be gained by revisiting them today with the benefit of recent lessons learned about how to analyze their design. This project analyzes the design and definitions of Halstead’s metrics, the set of which is commonly referred to as ‘software science’. This analysis is based on a measurement analysis framework defined to structure, compare,... -
3
FAST Simulations
An Open source Analysis and SImulation Toolbox for Fuel Cells
FAST is an Analysis and Simulation Toolbox (FAST) for Fuel Cells (FC) FAST-FC is the doctorate work of David B. Harvey and was developed with support from the U.S. DOE, Ballard, and Queen's University. Derivative works of FAST-FC include FC-APOLLO which is a forked branch of this project intended to capture the code state at the exit of the funded DOE project. -
4
CrtDbg for WinCE
Port of MS _CrtDbg Memory Leak Detection for WinCE
You are searching _CrtDumpMemoryLeaks(), _CrtSetReportMode() and all the well known Win32 stuff? But you don't find it for your Windows CE or Windows Mobile native C or C++ development? Get tired of Memory Leaks? Handle Leaks? Trouble with Appverify (Application Verifier for WinCE)? Stop searching. Congratulations, you got it! -
Run Any Workload on Compute Engine VMsCompute Engine delivers high-performance virtual machines for web apps, databases, containers, and AI workloads. Choose from general-purpose, compute-optimized, or GPU/TPU-accelerated machine types—or build custom VMs to match your exact specs. With live migration and automatic failover, your workloads stay online. New customers get $300 in free credits.
-
5
configthis
Manage and execute Linux testing and reporting programs
These bash shell scripts are intended to iteratively load executable files via symbolic links and echo output to a log file for later review. These bash shell scripts rely on a directory structure intended to group testing and reporting executable files by project, target platform, and version. -
6
ESSPEE - Penetration Testing & Forensics
(Android Forensics & Malware Analysis Included)
ESSPEE - Extreme Security Scanning Penetration testing & Exploitation Environment Ubuntu 12.04 LTS (Precise Pangolin) is purposefully selected as the base Operating System to obtain supports from Ubuntu for a long duration (till Apr 2017). It is packed with featured security tools with very less resource consumption and higher degree of stability. Thanks to Back Track, Blackbuntu, CAINE and DEFT and many others for inspiration. Being a sole developer to this distro, I wish it... -
7
gcRadar
A library for monitoring the garbage collection of app objects
gcRadar is not a static code anayser but it is a library using which is ment to beused in your source code and it will monitor and report the lifetime events of yuor objects. gcRadar can provide this information by using callbacks, log4j & polling. gcRadar can monitor entities ranging from individula objects to full object trees comprising of is-a & has-a relationships. -
8
Java library to parse GNU Makefiles. The source code is available from SVN. The latest revision should be in trunk, the latest "stable" release should be in branch.
-
9
misspell-check
A program to check source code for mispelings...
A program to check source code for mispelings... -
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.
-
10
A Unibasic Code Coverage tool. It produces formatted HTML reports on the statement coverage of selected source files. Designed for UniData but should is being ported to UniVerse (still in development, but compiles and works on demonstration programs).
-
11
NetStress-NG
NetStress is a DDoS and network stress testing tool.
Syn Flood Attacks SYNFlood with static source port SYNFlood with random source port SYNFlood with static source ip address SYNFlood with random source address SynFlood with fragmented packets ACK Flood Attacks ACK Flood with static source port ACK Flood with random source port ACK Flood with static source ip address ACK Flood with random source address ACK Flood with fragmented packets FIN Flood Attacks FIN Flood with static source port FIN Flood with random source port FIN Flood with static source ip address FIN Flood with random source address FIN Flood with fragmented packets UDP Flood Attacs Static source port udp flood UDP flood with random source port UDP Flood with static source ip address UDP Flood with random source address UDP Flood with fragmented packets ICMP Flood ICMP Flood with all options random(source ip, icmp type, code) HTTP Flood ... ... -
12
Poor Man's Timing And Profiling
Library tools to collect timing in Java, C, C++
A collection of library code and tools for application execution profiling and performance testing. You can create stopwatches to time select portions of your code. You can measure differences (often to sub-millisecond accuracy) between clocks on different machines. You can log application events in a .csv format for subsequent analysis. You can also generate CPU loading logs in a .csv format. -
13
NPEDetector
Null dereference verifier for Java Programs
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. -
14
VaMoLa Validator is a tool to validate accessibility according to Italian Law - based on AChecker
-
15
R Unit test framework R functions implementing a standard Unit Testing framework, with additional code inspection and report generation tools
-
16
jmint
jMINT - Java Mutation for Integration Testing
jMINT is a integration fault injection tool which identifies data exchanges across classes and inject faults along those path. It is primarily based on the idea of program analysis and code mutation. The cross boundary data exchanges are identified by performing data flow analysis using java byte code analysis and transformation framework-soot. Mutant injection is also done via the soot framework. jMINT tool can be used to measure the effectiveness of integration test suites. -
17
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) -
18
NUnit.Extensions is a collection of classes which assist with unit testing of .net code using NUnit. Please note that this is not part of the NUnit framework and is in no way endorsed or supported by the people who develop and support the NUnit frame
-
19
Hermes - Selenium For Humans
(H)uman (R)eadable and (M)achine (E)xecutable (S)pecification
Hermes provides a powerful yet usable automation solution, making it the most popular Selenium framework in the world, with over 8,000 downloads. Create human readable, machine executable Selenese style tests in Excel. The world's first automation framework fully integrated with Selenium IDE, RC and GRID; yet built for humans. Be up and running using a feature rich Selenium RC framework in minutes. Hermes comes with advanced reporting, analysis, debugging and enterprise level Java... -
20
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.
-
21
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.
-
22
SUDS is a software bug detection research infrastructure that has support for both dynamic instrumentation and static analysis.
-
23
A spring utility that makes developing with spring a little easier by enabling, with minimal code, runtime wiring, static ApplicationContext access, easy spring application creation and FitNesse-Spring integration
-
24
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.
-
25
