Search Results for "static code analysis" - Page 12
Sort By:
Showing 419 open source projects for "static code analysis"
View related business solutions-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
Go From Idea to Deployed AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
AdLint Goodies
Utilities for AdLint the source code static analyzer
AdLint Goodies is a collection of miscellaneous utilities for AdLint. All goodies are written in Ruby and available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby. -
2
PYC Dissasembler
Disassemble python byte compiled file for python 2.x
PYC Dissasembler disassemble python byte compiled files (.pyc) into a series of opcodes. It work for every version of python 2 (that use cpython) but must be run with a good interpreter. Ex: you can only disassemble python 2.7 pyc files with a python 2.7 interpreter. -
3
ossdpi
OSSDPI is collects information of the open source software.
OSSDPI is collects information of the open source software. And shows the information that is collected in a variety of ways. -
4
VaMoLa Validator is a tool to validate accessibility according to Italian Law - based on AChecker
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end. Migrate from on-prem or other clouds with free migration tools.
-
5
R Unit test framework R functions implementing a standard Unit Testing framework, with additional code inspection and report generation tools
-
6
Line Counter .NET
Free configurable source file line counting tool based on C# and .NET.
Line Counter .NET is an analyzing tool that helps finding out the number of code lines, empty lines, comment lines etc. Of course counting of string and character literals is also supported. As special feature this tool allows users to configure their own “Comment Schemes”. Also note, this code analyzing tool finds and counts source code comments that are surrounded by code. A detailed help file is of course included. -
7
RemoveComments
Remove Comments from source code.
With this tiny program, you can remove comments easily from source code. -
8
Nataly
A framework that translate name-based pointcut to analysis-based ones
Nataly, which can translate name-based pointcuts into analysis-based pointcuts automatically. Analysis-based pointcuts, can specify join points through static program analysis. But another problem is that there are few approaches can generate analysis-based pointcuts. We implement Nataly to tackle these two problems with a novel pattern, which is generated by static analysis. -
9
NastranToCodeAster
Tool to translate Nastran to CodeAster file.
Tool to translate Nastran to CodeAster file. -
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.
-
10
KDD: Kernel Data Disambiguation Tool
KDD: Kernel Data Disambiguation Tool
KDD (Kernel Data Disambiguator) is a new automated software analysis tool that can generate a sound kernel data definition for any C-based OS (e.g. Windows and Linux) without any prior knowledge of the OS. KDD disambiguates the pointer-based relations including generic pointers - to infer their candidate types/values - by performing static points-to analysis on the kernel’s source code. KDD takes the source code of an OS kernel as input and outputs an accurate directed type-graph that represents the kernel data definition. ... -
11
1st.global_site
torrents test
upload/donwload/fun -
12
Eclipse Plug-In that determines the Minimal Access Modifier of Java types and methods project and computes the software metrics Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM). The Minimal Access Modifier of a Java type or type member is the most restrictive access modifier that is able to allow all actual usages of the particular type or member from inside a given code base (normally the entire source code of...
-
13
This project has moved to GitHub: https://github.com/bbadjari/stylecopcli Command-line interface to StyleCop source code analyzers.
-
14
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... -
15
ccglue is a complementary tool to cscope and ctags. The tool builds a cross-reference symbol database from cscope [and ctags] databases that can be used to display dependency-graphs (aka call-trees, code flow). Visualization can be done with the Vim CCTree plugin (http://www.vim.org/scripts/script.php?script_id=2368), or the built-in stand-alone command-line tracer.
-
16
evofetch
Mining tool for software repositories
EvoFETCH is a tool to extract information about software entities such as classes, methods, and attributes from software repositories. EvoFETCH is middleware and makes use of other freely available software to perform the extraction and provide query functionality. -
17
-
18
SourceSquare
The free open source scanning engine
SourceSquare is a free open source scanning solution, based on Antepedia, the world's largest open source knwoledge base, including more than 1,000,000 open source projects from the main forges. SourceSquare is a free (as in free beer) and free (as in free speech, licensed under GNU Affero Public Licence V3) product, which scans a folder on your hard drive and displays a treemap that shows which part of your source code is open source. -
19
-
20
Php-pastebin
Pastebin is here to help you collaborate on debugging code snippets
pastebin is here to help you collaborate on debugging code snippets. If you're not familiar with the idea, most people use it like this: submit a code fragment to pastebin, getting a url like hxxp://yoursite.com/1234, paste the url into an IRC or IM conversation, someone responds by reading and perhaps submitting a modification of your code, you then view the modification, maybe using the built in diff tool to help locate the changes -
21
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) -
22
CodeLift
Editor with extensive code help for the C++ language
Currently in very early stages, but eventually plans to bring a code editor with extensive C++ auto completion and assistance. -
23
A static checker that model checks the implementation of equality for an Eclipse Java Project.
-
24
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.
-
25
CAP4EI
Code Analysis Plugin for Eclipse Indigo
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.
