Search Results for "static code analysis" - Page 6
Sort By:
Showing 137 open source projects for "static code analysis"
View related business solutions-
$300 in Free Credit Across 150+ Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale with Google Cloud.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI Studio. Switch between models without switching platforms.
-
1
This project is an off-shoot of the EGADSS project. The nature of the changes made to the PD CLIPS code means a separate project would be best. This is an FOSS version of the PD CLIPS Engine to include such features as backwards chaining and more....
-
2
This software is the going to be used in a small office refrigerator to controll the thermostat. Currently the code is written for the PIC16F84 in assembler. The code is fully compilable in MPLAB.
-
3
Sequence studio main package provides classes and interfaces for various kinds of sequence alignment. Differently from regular expressions it computes similarity with two initially unknown strings. Project page provides code generating applet.
-
4
pyclashie is a software developed in python to show graphic view of code dependencies in, virtually, any programming language. The idea is to analize directories of source code, and search for class hierarchy and dependencies, writing them to .dot files.
-
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.
-
5
TextCodec can encode texts using simple algorithm and then decode them by using statistical language data.
-
6
This project make some utilities based on FSM(Finited State Machine). The primary goal is to develop some auto generators, output source code or executable binary file. Anyway, it provide a trusty and high-efficient implement of FSM. The result is only a
-
7
Knowledge Flow Checker
KF Checker is a tool for analysing Information Flow properties.
KF Checker infers information flow rules from source code. The rules obtained in this way are used to create a theory which it then exploited to prove that information flow policies are respected. -
8
Library dedicated to the parsing of network protocols and designed to be fast, auto-adaptive, asynchronous, modular and completely independent from client/server code.
-
9
Matlab and Octave code to fit a mixture of Gaussians with covariance regularization to data using EM update rules.
-
Catch Bugs Before Your Customers DoMove from alert to fix before users notice. AppSignal monitors errors, performance bottlenecks, host health, and uptime—all from one dashboard. Instant notifications on deployments, anomaly triggers for memory spikes or error surges, and seamless log management. Works out of the box with Rails, Django, Express, Phoenix, Next.js, and dozens more. Starts at $23/month with no hidden fees.
-
10
Making Hebrew properly searchable by IR software. Right now, most work is being done in our mailing list (planning), and on our github repository (concept code, see below).
-
11
-
12
** IMPORTANT NOTICE ** 10 Feb 2006 Code is being moved to the SMI subversion repository (http://smi-protege.stanford.edu/svn/owl/trunk/) Project will continue to be open source. ProtegeOWL info at: http://protege.stanford.edu/overview/protege-owl.html
