Search Results for "code analysis"
Sort By:
Showing 145 open source projects for "code analysis"
View related business solutions-
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.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
usbliter8
An A12/A13 SecureROM exploit
...It targets a USB controller bug that requires specialized microcontroller hardware rather than a normal Mac or PC USB stack. The repository includes firmware source code, board support files, shellcode directories, USB handling code, logging helpers, and a Python control tool. It is intended for advanced researchers who understand DFU behavior, embedded development, bootrom analysis, and the risks of hardware-level experimentation. The project documents supported RP2350-based boards and includes build information for people compiling the firmware themselves. ... -
2
AWS SigV4 Library
AWS library to sign AWS HTTP requests with Signature Version 4
...This library has no dependencies on any additional libraries other than the standard C library. This library is distributed under the MIT Open Source License. This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool. -
3
PLpgSQL Check
plpgsql_check is a linter tool (does source code static analyze)
plpgsql_check is a PostgreSQL extension for static analysis and runtime checking of PL/pgSQL functions. It helps developers catch bugs early by analyzing code structure, variable usage, and SQL correctness before execution. The extension is ideal for improving code quality in large Postgres-based applications. -
4
AWS IoT Fleet Provisioning Library
Client library for using AWS IoT Fleet Provisioning service
...This library has no dependencies on any additional libraries other than the standard C library, and therefore, can be used with any MQTT library. This library is distributed under the MIT Open Source License. This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis, and validation of memory safety through the CBMC automated reasoning tool. -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
AWS IoT Jobs library
Client library for using AWS IoT Jobs service on embedded devices
...This library provides a convenience API to compose and recognize the MQTT topic strings used by the Jobs service. The library is written in C compliant with ISO C90 and MISRA C:2012, and is distributed under the MIT Open Source License. This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone both static code analysis from Coverity. -
6
AWS IoT Device Defender Library
Client library for using AWS IoT Defender service on embedded devices
...This library has no dependencies on any additional libraries other than the standard C library, and therefore, can be used with any MQTT client library. This library is distributed under the MIT Open Source License. This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8, and checks against deviations from mandatory rules in the MISRA coding standard. Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone static code analysis using Coverity static analysis. -
7
bearer
Code security scanning tool (SAST) to discover security risks
Welcome to the Bearer documentation. Bearer is a static application security testing (SAST) tool that scans your source code and analyzes your data flows to discover, filter and prioritize security risks and vulnerabilities leading to sensitive data exposures (PII, PHI, PD). We provides built-in rules against a common set of security risks and vulnerabilities, known as OWASP Top 10. Leakage of sensitive data through cookies, internal loggers, third-party logging services, and into analytics... -
8
DynamoRIO
Dynamic Instrumentation Tool Platform
DynamoRIO is a runtime code manipulation system that supports code transformations on any part of a program, while it executes. DynamoRIO exports an interface for building dynamic tools for a wide variety of uses: program analysis and understanding, profiling, instrumentation, optimization, translation, etc. Unlike many dynamic tool systems, DynamoRIO is not limited to insertion of callouts/trampolines and allows arbitrary modifications to application instructions via a powerful IA-32/AMD64/ARM/AArch64 instruction manipulation library. ... -
9
Zydis
Fast and lightweight x86/x86-64 disassembler and code generation lib
Zydis is a fast and lightweight disassembler library designed for decoding x86 and x86-64 machine code into human-readable assembly instructions. It focuses on performance and accuracy, making it suitable for applications such as reverse engineering, debugging, and binary analysis. The library provides detailed information about decoded instructions, including operands, prefixes, and instruction lengths, enabling deep inspection of executable code. -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
10
Zelda 64: Recompiled
Static recompilation of Majora's Mask for PC
Zelda 64: Recompiled is a specialized recompilation project built on top of N64Recomp, focused on reconstructing The Legend of Zelda: Ocarina of Time and related N64 titles into native, compilable code for modern systems. It takes original game binaries and translates them into structured C code that can be compiled and run without requiring an emulator, enabling more efficient execution and deeper access to the game’s internals. The project is designed to preserve gameplay accuracy while... -
11
Paper Mario
Decompilation of Paper Mario (Nintendo 64)
Paper Mario is an ongoing reverse engineering and decompilation project that aims to reconstruct the original source code of the Nintendo 64 game Paper Mario. The project focuses on producing code that matches the original binary exactly, enabling a deeper understanding of how the game was built. It provides tools, scripts, and documentation to analyze game behavior and structure. Contributors work collaboratively to translate assembly code into readable C while maintaining functional... -
12
codebase-memory-mcp
High-performance code intelligence MCP server
codebase-memory-mcp is a high-performance code intelligence MCP server built for AI coding agents. It indexes codebases into a persistent knowledge graph so agents can understand architecture, symbols, call chains, routes, and cross-service relationships without reading every file repeatedly. The project uses tree-sitter AST analysis across 158 languages and adds Hybrid LSP type resolution for major languages like Python, TypeScript, JavaScript, Go, C#, Java, Rust, C, and C++. ... -
13
Skitter Creek Bath Salts
Unlocking _everything_ on the CPU with DRAM scrambling
...Its examples examine protected areas associated with the Platform Security Processor, System Management Mode, C6 memory, and CPU microcode. The repository includes kernel code, user-space tooling, example material, collected data, and technical analysis. It is intended for advanced hardware-security research rather than general-purpose system administration. -
14
Capstone
Capstone disassembly/disassembler framework
...Implemented in pure C language, with lightweight bindings for D, Clojure, F#, Common Lisp, Visual Basic, PHP, PowerShell, Emacs, Haskell, Perl, Python, Ruby, C#, NodeJS, Java, GO, C++, OCaml, Lua, Rust, Delphi, Free Pascal & Vala (ready either in main code, or provided externally by the community). -
15
Checked C
Checked C is an extension to C that lets programmers write C code
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. Checked C adds static and dynamic checking to C to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. The goal of the project is to improve systems programming by... -
16
Vanilla.PDF
Cross-platform SDK for creating and modifying PDF documents
...Vanilla.PDF supports advanced PDF features such as adding CMS (PKCS#7) digital signatures, modifying content streams and metadata, and working with encryption and permissions based on standard PDF security models. It includes tools for parsing PDF internals like cross-reference tables and objects, providing fine-grained document analysis capabilities. The project is unit-tested with continuous integration pipelines, supporting sanitizers for enhanced code quality and stability. -
17
SPX
A simple & straight-to-the-point PHP profiling extension
...Very simple to use: just set an environment variable (command line) or switch on a radio button (web request) to profile your script. Thus, you are free of manually instrumenting your code (Ctrl-C a long running command line script is even supported). Using a dedicated browser extension or command line launcher. Multi metrics capable: 22 are currently supported (various time & memory metrics, included files, objects in use, I/O...). Able to collect data without losing context. For example Xhprof (and potentially its forks) aggregates data per caller / callee pairs, which implies the loss of the full call stack and forbids timeline or Flamegraph based analysis. -
18
Doxygen is a JavaDoc like documentation system for C++, C, Java and IDL.
-
19
LAME (Lame Aint an MP3 Encoder)
A high quality MP3 encoder
LAME is an educational tool to be used for learning about MP3 encoding. The goal of the LAME project is to improve the psycho acoustics, quality and speed of MP3 encoding. Note: we provide source code only! -
20
cline
Command line tool for counting source code lines
cline is a command line tool that counts code lines or non-whitespace characters in your project folder. It is designed to recursively find any source file matching specific rules and count the line breaks within that file. You may specify file suffixes to include or exclude as well as regular expressions for code lines that shall be excluded (e.g. to exclude comments). By default a heuristic algorithm skips binary files. You may configure the restrictiveness of this algorithm with command... -
21
Linux Studio Plugins Project
Linux Studio Plugins Project
LSP (Linux Studio Plugins) is a collection of open-source plugins currently compatible with LADSPA, LV2 and LinuxVST formats. Standalone plugins for JACK are provided since version 1.0.8. Experimental support of ARMv7 added since version 1.1.4 Experimental support of AArch64 added since version 1.1.9 Decomposition of modules and new UI introduced in 1.2.0 Added CLAP support in 1.2.5 Added VST3 support in 1.2.15 The basic idea is to fill the lack of good and useful plugins under the... -
22
BioXTAS RAW
Processing and analysis of Small Angle X-ray Scattering (SAXS) data.
BioXTAS RAW is a program for analysis of Small-Angle X-ray Scattering (SAXS) data. The software enables: creation of 1D scattering profiles from 2D detector images, standard data operations such as averaging and subtraction, analysis of radius of gyration (Rg) and molecular weight, and advanced analysis using GNOM and DAMMIF as well as electron density reconstructions using DENSS. -
23
Uranie
Uranie is CEA's uncertainty analysis platform, based on ROOT
Uranie is a sensitivity and uncertainty analysis plateform based on the ROOT framework (http://root.cern.ch) . It is developed at CEA, the French Atomic Energy Commission (http://www.cea.fr). It provides various tools for: - data analysis - sampling - statistical modeling - optimisation - sensitivity analysis - uncertainty analysis - running code on high performance computers - etc. -
24
Diff-ext is an extension for filemanagers such as Windows Explorer and Nautilus that allows to launch diff/merge tools on selected files.
-
25
LinAsm
Collection of fast and optimized assembly libraries for x86-64 Linux
LinAsm is collection of very fast and SIMD optimized assembly written libraries for x86-64 Linux. It implements many common and widely used algorithms for array manipulations: searching, sorting, arithmetic and vector operations, unit conversions; fast mathematical and statistic functions; numbers and time converting algorithms; finite impulse response (FIR) digital filters; spectrum analysis algorithms, Fast Hartley transformation; CPU cache friendly functions and extremely fast abstract...
