Search Results for "source code static anala"
Sort By:
Showing 35 open source projects for "source code static anala"
View related business solutions-
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.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
1
AWS SigV4 Library
AWS library to sign AWS HTTP requests with Signature Version 4
...This library can optionally be used by applications sending direct HTTP requests to AWS services requiring SigV4 authentication. 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. -
2
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 environments. ... -
3
Crafting Interpreters
Repository for the book "Crafting Interpreters"
Static site generator tooling to compose book + code into HTML. Markdown source of book chapters and text prose. Full interpreter implementation in C (clox). -
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. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per 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
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... -
8
Particle Firmware for the Electron, P1
Device OS (Firmware) for particle devices
The Photon uses an ARM Cortex M3 CPU based microcontroller. All of the code is built around the GNU GCC toolchain offered and maintained by ARM. The build requires version 5.3.1 20160307 or newer of ARM GCC and will print an error message if the version is older than this. In order to turn your source code into binaries, you will need a tool called make. Windows users need to explicitly install make on their machines. Make sure you can use it from the terminal window. The entire Particle... -
9
Wuffs
Wrangling Untrusted File Formats Safely
Wuffs is a memory-safe, zero-dependency library and domain-specific language for writing high-performance image codecs and related parsers. Instead of trusting ad-hoc C, Wuffs code is compiled to C with strong bounds, integer, and state checks inserted by construction, aiming to eliminate whole classes of security bugs without a heavy runtime. The design prioritizes predictable performance: decoders avoid dynamic allocation by default, return explicit “short read” signals, and run well in... -
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.
-
10
libgit2
A cross-platform, portable, linkable Git implementation library
...By clicking "merge pull request", we perform the merge. It is licensed under the GPLv2 license, so you can link it in its unmodified state with any type of software without releasing its source code. -
11
Lightweight ring buffer manager
Lightweight generic ring buffer manager library
The library provides generic FIFO ring buffer implementation. -
12
Ravi Programming Language
Ravi is a dialect of Lua, featuring limited optional static typing
Ravi Programming Language is a derivative of Lua 5.3 with limited optional static typing and MIR-based JIT compiler. Ravi is a derivative/dialect of Lua with limited optional static typing and JIT/AOT compilers. The name Ravi comes from the Sanskrit word for the Sun. Lua is perfect as a small embeddable dynamic language so why a derivative? Ravi extends Lua with static typing for greater performance under JIT compilation. However, static typing is optional and therefore Lua 5.3 programs are... -
13
AWS IoT Over-the-air Update Library
Manage the notification of a newly available update
The OTA library enables you to manage the notification of a newly available update, download the update, and perform cryptographic verification of the firmware update. Using the library, you can logically separate firmware updates from the application running on your devices. The OTA library can share a network connection with the application, saving memory in resource-constrained devices. In addition, the OTA library lets you define application-specific logic for testing, committing, or... -
14
Code-warrior
Just another manual code analysis tool and static analysis tool.
Just another manual code analysis tool and static analysis tool. https://github.com/CoolerVoid/codewarrior -
15
Tidy
The granddaddy of HTML tools, with support for modern standards
The granddaddy of HTML tools. Supports modern standards. Thanks to the efforts of HTACG and prominent contributors, HTML Tidy has a whole new heartbeat and a whole new life. Tidy tidies HTML and XML. It can tidy your documents by itself, and developers can easily integrate its features into even more powerful tools. Tidy is a console application for macOS, Linux, Windows, UNIX, and more. It corrects and cleans up HTML and XML documents by fixing markup errors and upgrading legacy code to... -
16
progrep
Utility to show live progress, status & stats for running simulations
progrep is a command-line tool (Linux) to show live progress report, status & stats of a running simulation or compute job that executes a given number of iterations. It shows % completed, time remaining, time elapsed, number of threads, MPI_Rank(if any), CPU usage & speed (FPS). The FPS measures may be used in benchmarking, e.g. while optimizing HPC algorithms for performance. progrep supports both single-threaded and parallel (multicore/multinode - e.g. OpenMP/MPI) jobs. progrep can... -
17
Native File Dialog
Neat C library that portably invokes native file open and save dialogs
A tiny, neat C library that portably invokes native file open, folder select, and save dialogs. Write dialog code once and have it pop up native dialogs on all supported platforms. Avoid linking large dependencies like wxWidgets and qt. Tested, works alongside libsdl on all platforms, for the game developers out there. -
18
haikuVM
A Java VM for ARDUINO and other micros using the leJOS runtime.
HaikuVM has been started for hobbyists who develop applications for ARDUINO to open the world of JAVA and leJOS. Yes, you can program an ARDUINO with JAVA! HaikuVM is so small that it even runs on an atmega8 (and the ASURO robot). And yes, you can program an ASURO robot with JAVA! And since version 1.4.0 the RCX lego brick. -
19
ansvif
An advanced cross platform fuzzing framework suited to find code bugs.
ansvif, or A Not So Very Intelligent Fuzzer, suited to find bugs in code by throwing garbage arguments, files, and environment variables at the target program, that you may or may not have the source code to. It supports many features, such as buffer size, randomization of the buffer size, random data injection, templates, and much more. The purpose of this project is to identify bugs in software, specifically bugs that can induce a segmentation fault under various conditions. This aids... -
20
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.... -
21
AutoReplacerPlus
Automatic correction of software bugs and grammar mistakes
Automatic correction of software bugs announced in compilers (clang, gcc) / Static Code Analysis tools (cppcheck, FindBugs) and grammar/style errors like in LanguageTool. Usage: use tool (e.g. cppcheck) and store results in a text file. Afterwards call: autoreplacerplus mytextfile -
22
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. -
23
cowbel (obsolete)
An experimental programming language
cowbel is a minimalist experimental programming language. It features strict types, static compilation into real machine code (via C), an object oriented system based on interfaces and composition, generics, no null, and a global garbage collector. It is intended to produce fast, tight code for use in systems programming, and to show that you don't need a complex language to be expressive and usable. We've moved! Go to http://cowlark.com/cowbel instead. -
24
libpop3
a lightweight ANSI C library for handling POP3 mailboxes
libpop3 is a very light POP3 library for C. It allows to list, fetch and remove messages from a POP3 mailbox. This library is using the RFC1939 as reference, and uses most basic POP3 commands to provide maximum compatibility across different servers. libpop3 is written in pure ANSI C89 without any external dependencies, thus it can be compiled and used on anything, anywhere. Since it is very light, it is designed to be used as a static library (but you could just as well incorporate... -
25
Linux Kernel Programming IDE (LinK+)
A Simple 'IDE'A for Linux Kernel Developers
LinK+ IDE is a simple IDE for Linux Kernel Developers and Lovers. It is based on Eclipse IDE customized for Linux kernel programming. It reduces the development time and executes code in an elegant fashion. This IDE supports Linux kernel configuration, compilation & emulation, system call development and device driver development. LinK+ IDE includes various templates in the category of character, block and network device driver subsystems for device driver development. It includes...