Search Results for "static code analysis" - Page 17
Sort By:
Showing 419 open source projects for "static code analysis"
View related business solutions-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI Studio. Switch between models without switching platforms.
-
1
DPRLE (decision procedure for regular language equations) solves subset constraints that involve language variables and concatenation.
-
2
This project aims to help developpers know the structure of his PHP'Code. PhpAnalyzer reveals PHP variables, Access to file and so on.
-
3
PHP Parser analyses PHP scripts including all included files and checks whether variables, constants, functions and classes are both used and defined. The script displays either only errors, a complete data list or the fully annotated script.
-
4
pylangc
Simple Python-based Static Code Analyzer for C programs based on GLib
Simple Python-based Static Code Analyzer for C programs based on GLib/GStreamer. The tool takes advantage of the GObject-Introspection annotations built on top of GTK-Doc comment blocks. Note that this tool is proof-of-concept only. -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
Code Insight is a Open source, cross platform software for developers to browse, edit and understand code easily, like commercial one named Source Insight. Based on CodeLite IDE the CodeInsight also is aligned with GPL license.
-
6
SQL Spelunk
Tools For Testing SQL
A toolbox for testing SQL. Currently, SQL Spelunk includes code coverage analysis and calling stored procedures in a rolled-back transaction from SQL and JUnit. -
7
-
8
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. -
9
typos
typos
typos -
Push Code. Get a Production URL. Done.Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
JASTI
JASTI (Java AST Inspector)
JASTI (Java AST Inspector) is an inspector for the OpenJDK compiler AST -
11
TeamTools
Subversion utilities
A set of web based tools to be used on a Subversion repository, offering: - Search - Browse and diff - Peer review - Alerts -
12
JClassViewer
A Java class viewer and decompiler which respect line numbers.
JClassViewer is a viewer for class and jar files. Features: - required Java 7 or higher - used the line numbers to reconstruct an output that is near to the original output. - debugging in Eclipse - should support other languages like Scale in the future -
13
The Project aims to fulfill the following specific objectives of Computer Education, Supportive Education and Information Service Delivery, while in operation.
-
14
-
15
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.
-
16
misspell-fixer
Simple tool for fixing common misspellings, typos
Utility to fix common misspellings, typos in source codes. There are lots of typical misspellings in program codes. Typically they are more eye-catching in the living code but they can easily hide in comments, examples, samples, notes and documentations. With this utility you can fix a large number of them very quickly. Be aware that the utility does not check or fix file names. It can easily happen that a misspelled word is fixed in a file name in a program's code, but the file itself... -
17
This package will allow people to check, change, update the license of their projects. It will conform to all new licenses available.
-
18
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes... -
19
GWD Website Diagnostic Tool
Diagnose and Check Website Health
DIAGNOSE & MONITOR SITE FLAWS It comes with all major metrics of website such as title, description, keyword, tag, page size, page speed, server status, compression status, mobile friendly status, image/css/javacript status and many more other important metrics of your website.
