Search Results for "static code analysis"
Sort By:
23 projects for "static code analysis" with 2 filters applied:
-
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.
-
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.
-
1
pascal p5c
fast, portable Pascal compiler using gnu c as intermediate code
p5c is a fast portable iso standard pascal compiler. It is derived from the pascal p5 compiler and creates gnu c code instead of p-code. This makes it very fast since it uses gcc to generate native code. p5c is multi platform - it is easy to get up and running since you only need gcc to start. Using gcc enables extra tools like a static analyser and code coverage analyser. Execution profiling described in the blog here -> https://sourceforge.net/p/pascal-p5c/blog/2017/07/how-to-use-profiling-to-speed-up-p5c-pascal-programs It extends p5 by adding arbitrary set limits and conformant arrays. ... -
2
Ring
Simple and flexible programming language for applications development
The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is... -
3
RedtDec
RetDec is a retargetable machine-code decompiler based on LLVM
...Detection and reconstruction of C++ class hierarchies (RTTI, vtables). Signature-based removal of statically linked library code. Static analysis of executable files with detailed information. We currently support Windows (7 or later), Linux, macOS, and (experimentally) FreeBSD. An installed version of RetDec requires approximately 5 to 6 GB of free disk space. -
4
Ofront+
Oberon family of languages to C translator for ARM, x64 and x86 archit
Ofront+ is a tool that translates programs in Oberon dialects into semantically equivalent C programs. Full error analysis is performed on the Oberon input program and in case of no errors up to three files are generated as output. Ofront+ does not invoke the C compiler or linkage editor. This may be done in separate shell scripts or make files and is inherently dependent on the C compiler and linkage editor being used. Although normally not read by the user, the C code generated by Ofront+ is kept as readable as possible, nicely formatted, should not produce any C compiler error messages or warnings and is tuned for efficient execution. ... -
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.
-
5
Dev-C++
Open Source C & C++ IDE for Windows
Dev-C++ is a full-featured Integrated Development Environment (IDE) for Win32. It uses GCC, Mingw or Cygwin as compiler and libraries set. It supports Windows 98, NT, 2000 & XP. This is the original Dev-C++ software as published by Colin Laplace and this repository is frozen to version 4.9.9.2. For more recent versions of Dev-C++, please check the following forks: - Embarcadero Dev-C++: https://sourceforge.net/projects/embarcadero-devcpp/ (last update: March 2021) - Orwell... -
6
JILRuntime/JewelScript
An object-oriented script language to embed in any application
A general purpose, object-oriented script language that compiles into code for a register based virtual machine. The language is quite similar to object-oriented high-level languages like Java and C#. The library is entirely self-sufficient and ANSI C compliant. It's main purpose is to be embedded in any application to allow automation of that application through scripting. An integrated C++ binding code generator allows you to create bindings for your application's classes in seconds.... -
7
JBVD
Java Bytecode Viewer & Decompiler
A very powerful java bytecode viewer and decompiler which makes use of the javassist open source library. -
8
**NOTE**: The WALA project is now hosted at https://github.com/wala/WALA; the latest source code and updates are available there. The code here on Sourceforge is highly out of date and unsupported. The T. J. Watson Libraries for Analysis (WALA) provide program analysis capabilities for Java bytecode and related languages. The WALA libraries constitute an open-source release of parts of IBM Research's DOMO analysis infrastructure.
-
9
Python Embed C++
Embed C++ in Python source code, dynamically compile and access data
Moved to http://github.com/ftrias/pyembedc Python module to embed C/C++ code within Python source code and scripts. Automatically compile and dynamically link the code. Transparently allow native access to python data from C code and vice versa. Module provides all the "glue" to dynamically convert data types, arrays and structures. -
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
The Panini Language
Better Modularity, Better Concurrency
This project makes the compiler and tools for the Panini language available. A central goal of the Panini language is to make concurrent programming easier and less error-prone. The main new feature in Panini is called a capsule. A capsule is like an actor but better because it largely retains the traditional approach for reasoning about programs as a sequence of operations, abstracts away all details of thread creation and locking, and supports fully-automatic compile-time analysis of... -
11
JS/CC LALR(1) Parser Generator
A LALR(1) Parser Generator for JavaScript written in JavaScript
JS/CC is a parser generator for JavaScript/ECMAScript, which is entirely written in ECMAScript itself. It produces LALR(1) parsers with integrated lexical analyzers. JS/CC can run as a website or be invoked from a console, and runs on several platforms. -
12
CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
-
13
RECODER is a Java framework for Java program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references, and it supports transformation rollbacks and incremental model updates.
-
14
Aurelia is a framework for program transformation based on a C++0x development environment. It provides libraries and tools for term rewriting, strategic programming, AST type generation, parsing.
-
15
Java Cobol Lexer take a cobol source program and return it as a list of lexical tokens. Library takes source code in fixed, free and mixed formats. It recognizes standard Cobol 85.
-
16
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
-
17
Barat is a front-end for Java. It parses source and byte-code, and performs name and type analysis on demand.
-
18
Recoder.C# is a Java framework for C# program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references and supports transformation rollbacks and incremental model updates.
-
19
All APIs that help build prof of concepts of frameworks : bytecode, java, xml models analysis, querying and generation, using high level of abstraction.
-
20
A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all
-
21
CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.
-
22
Description language based on XSD and rules stored in a centralized directory intend to allow development of applications from static descriptions.
-
23
Stalin is an aggressive optimizing batch whole-program Scheme compiler. It uses advanced flow analysis and type inference and a variety of other optimization techniques to produce code (using C as an intermediate language) that is extremely fast.
- Previous
- You're on page 1
- Next
