Open Source BSD Source Code Analysis Tools - Page 3
Sort By:
Source Code Analysis Tools for BSD
-
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.
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
1
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.
-
2
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 it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. Other Projects and pages of the team's members: www.settlers-android-clone.com (by Andreas Eberle and Michael Zangl) www.andreas-eberle.com -
3
Larastan
Adds code analysis to Laravel improving developer productivity
Larastan was created by Can Vural and Nuno Maduro, got artwork designed by @Caneco, is maintained by Can Vural, Nuno Maduro, and Viktor Szépe, and is a PHPStan wrapper for Laravel. Larastan focuses on finding errors in your code. It catches whole classes of bugs even before you write tests for the code. -
4
MARKOS Project
The MARKet for Open Source
MARKOS developed a prototype of a service and an interactive application providing an integrated view on the Open Source projects available the on web, focusing on functional, structural and licenses aspects of software code. -
Level Up Your Cyber Defense with External Threat ManagementMove beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
-
5
Metrix++
Management of source code quality is possible.
The project has been moved to https://github.com/metrixplusplus/metrixplusplus ______________________ Metrix++ is an extendable tool to collect and analyse code metrics. - Multiple languages supported - Multiple metrics available - Configurable. Every metric has got 'turn-on' and other configuration options. There are no predefined thresholds for metrics or rules. You can choose and configure any limit you want. - High-performance. Processes thousands of files per minutes. - Seamless application to legacy code due to embedded capability to differentiate new code, modified and legacy. -
6
NERD Commenter
Vim plugin for intensely nerdy commenting powers
NERD Commenter is a Vim plugin offering powerful and highly customizable commenting capabilities. It simplifies toggling comments, supports multiple styles and nesting, and integrates cleanly with various plugin managers. Several settings can be added to your vimrc to change the default behavior. While the plugin does not directly support motions, you can leverage its support for selections to do something very similar. You can turn off default settings mappings to provide your own from scratch. Comment out the current line or text selected in visual mode. -
7
NastranToCodeAster
Tool to translate Nastran to CodeAster file.
Tool to translate Nastran to CodeAster file. -
8
This tool is an dependency management focused on sw-dev. It tracks source-code from software, and checks the object-dependencies and relations. The differences in two snapshots can show the need for further implementation- or testing-acitvities.
-
9
AnalysesOracle Performance Doctor is a tool which helps you to understand the behavior of your application on Oracle database level. The tool does: 1. Extract execution plan for all SQLs executed by specified db user and print it to file on server side. 2. For all executed SQL statements the tool will provide more performance version of sql text by using built-in module dbms_sqltune.
-
Keep company data safe with Chrome EnterpriseMake AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
-
10
PHP MSSQL Server Admin - Query Analyzer
You can admin a SQL Server with php, like PHPMyAdmin for MySQL
Github repository: https://github.com/miguelaxcar/PHP-MSSQL-Server-Admin Web based tool written in PHP by Luiz Miguel Axcar to build and run queries on a remote or local MSSQL (Microsoft SQL Server). Support for SQL code highlight (!), table browser, field browser, TOP records, most used tables, CSV results export, etc. Most tested in SQL 2000 version. If you find some issue ther let me know and I help you fixing it. -
11
PHPCheckStyle is a tool that helps PHP programmers adhere to certain coding conventions. The tool checks the code and reports coding standard violations in the code.
-
12
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. -
13
PatternDetect is an Eclipse plugin that extracts the design patterns used in an Eclipse Java project. PatternDetect can be extended with new design patterns.
-
14
Pecker Scanner
A static source code analyser for vulnerabilities in PHP.
A scanner named pecker, written in php,It can check dangerous functions with lexical analysis. to scans files for malicious PHP Code. Github : https://github.com/cfc4n/pecker -
15
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. -
16
Program Statistics
View current download statistics for software on various sites
progstat: Used to view current download statistics for posted programs on various sites. -
17
This package will allow people to check, change, update the license of their projects. It will conform to all new licenses available.
-
18
Provides tools, supporting quality management or quality assurance for software: Assessment execution (ISO 15504 (SPiCE), AutomotiveSPiCE, CMMi), diff tool calculating sizes (SLoC) of diffs, identification of conditional compilation, and more.
-
19
R Unit test framework R functions implementing a standard Unit Testing framework, with additional code inspection and report generation tools
-
20
REL (Research and Education Language) is a simple but very powerfull language with a compiler, an interpreter and a verifier.
-
21
SIM stands for Struts In Mind, the goal is to transform a struts-config.xml file into a Freemind map, thus allowing a better vizualisation of the application mapping. Configuration is analyzed to provide a vision enhanced with colors and icons.
-
22
SOMOMOTO
Software Modularization and Monitoring Tool
An Eclipse plug-in to monitor and act against the deterioration of software modularity in Java source code. On going development, with a prototype available. -
23
Sanity4J simplifies running multiple code analysis tools on Java projects on an ad-hoc basis. It provides a single entry point to run the tools and produces a consolidated report, which presents all findings in an easily accessible format. Homepage: https://sanity4j.github.io/ Project page: https://github.com/Sanity4J/Sanity4J/
-
24
Scertify - TechDebt Community
Benchmark code quality and measure Technical Debt of projects in Sonar
Scertify™ Refactoring Assessment is an open source component dedicated to development & QA teams that provides exclusive benchmark data on Software Quality. It automatically detects the portions of an application that can be refactored, gives valuable information on refactoring strategies, and costs. Though IT departments have matured these last 10 years and have now no doubt on the benefits of a continuous control of code quality, three major concerns were still remaining, without any tools able to effectively addressing these needs: * How to understand quality indicators, and how to compare them with the state of the art? * How to measure and manage the gap between the absolute quality level of a software, and a reasonable (reachable) target of quality? * What are the shortest and safe ways to achieve your quality goals? -
25
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.
