Search Results for "source code static anala" - Page 2
Sort By:
109 projects for "source code static anala" with 2 filters applied:
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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.
-
1
-
2
Pattern Craft
Professional-grade background patterns and gradients
Pattern Craft is a frontend resource focused on helping developers quickly add polished visual texture to websites and applications through a curated collection of modern background patterns and gradients. The project centers on production-ready snippets that are meant to be copied directly into real interfaces rather than treated as static inspiration only. Its repository describes more than 100 patterns and gradient snippets, with an emphasis on modern CSS techniques and Tailwind-friendly... -
3
SmartEnum
A base class for creating strongly typed enum replacements in C#
SmartEnum is a .NET library that provides a strongly typed alternative to traditional C# enums by allowing developers to create richer, object-oriented enumeration classes. Instead of being limited to primitive numeric values, SmartEnum enables enums to include behavior, validation, and additional properties while preserving type safety and readability. The library is widely used in domain-driven design scenarios where business concepts require more expressive modeling than standard enums... -
4
cppcheck
Static source code analysis tool for C and C++ code
Static analysis of C/C++ code. Checks for: memory leaks, mismatching allocation-deallocation, buffer overrun, and many more. The goal is 0% false positives. See http://cppcheck.sourceforge.net for more information. -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
Smallpond
A lightweight data processing framework built on DuckDB and 3FS
smallpond is a lightweight distributed data processing framework built by DeepSeek, designed to scale DuckDB workloads over clusters using their 3FS (Fire-Flyer File System) backend. The idea is to preserve DuckDB’s fast analytics engine but lift it from single-node to multi-node settings, giving you the ability to operate on large datasets (e.g. petabyte scale) without moving to a heavyweight system like Spark. Users write Python-like code (via DataFrame APIs or SQL strings) to express... -
6
Hugo PaperMod
A fast, clean, responsive Hugo theme
PaperMod is a fast, minimal-yet-featureful theme for the Hugo static site generator, aimed at blogs, documentation sites, and personal pages. It focuses on clean typography, responsive layouts, and sensible defaults, while exposing a large set of front-matter and config options. Built-in features include dark/light modes, archive and taxonomy views, reading-time indicators, breadcrumbs, and an optional profile/landing layout. Client-side search, code highlighting, social links, and comment... -
7
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. -
8
Lightweight ring buffer manager
Lightweight generic ring buffer manager library
The library provides generic FIFO ring buffer implementation. -
9
A Free, Fast, and Small Automatic Formatter for C, C++, C++/CLI, Objective-C, C#, and Java Source Code. Website: http://astyle.sourceforge.net/ Git Repository: https://gitlab.com/saalen/astyle/
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
NanoH5 (tsl2nano)
java bean / database driven zero code application framework
NanoH5 (or FullRelation) is a fullstack UI implementation framework providing a model driven design (MDA). Build a complete html5 application through a given class- or database-model without coding (coding APIs are available). -
11
Kitten
A statically typed concatenative systems programming language
Kitten is an experimental, concatenative programming language that blends Forth/Joy-style stack programming with modern static typing and effect tracking. Programs are composed by chaining small words that transform a typed stack, and the compiler uses type inference to ensure compositions are valid. The language explores disciplined handling of side effects, aiming to separate pure transformations from operations that perform I/O or mutate state. Its design encourages small, reusable... -
12
CSS Theme Change
Change CSS theme with toggle, buttons or select using CSS properties
CSS Theme Change is a small utility for managing CSS theme toggling (such as light/dark mode) in web projects, designed to be lightweight, easy to integrate, and framework-agnostic. Instead of relying on heavy JavaScript frameworks or complex state management, it offers a simple API that listens to system preferences and UI interactions to swap theme classes or variables in real time. It can react to user toggles as well as automatically adapt to the user’s OS-level dark/light mode settings,... -
13
RedtDec
RetDec is a retargetable machine-code decompiler based on LLVM
The decompiler is not limited to any particular target architecture, operating system, or executable file format. ELF, PE, Mach-O, COFF, AR (archive), Intel HEX, and raw machine code supported. 32-bit: Intel x86, ARM, MIPS, PIC32, and PowerPC 64-bit: x86-64 supported. Demangling of symbols from C++ binaries (GCC, MSVC, Borland). Reconstruction of functions, types, and high-level constructs. Output in two high-level languages: C and a Python-like language. Generation of call graphs,... -
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
starboard-notebook
In-browser literate notebooks
starboard-notebook is an in-browser literate notebook runtime that enables users to write, edit, and interact with computational documents directly in the browser without needing a traditional backend notebook server. The project is built around an innovative runtime that interprets code cells and markdown in a way that feels fluid and interactive, often bridging concepts from classical notebook tools with modern web technologies. Starboard notebooks support multiple languages, and the... -
16
Unified Code Generation
Open-source code generator for Simulink/Stateflow
This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) ... -
17
DataTables
Tables plug-in for jQuery
DataTables is a jQuery plugin that enhances HTML tables with powerful dynamic features such as searching, sorting, and pagination. It transforms plain static tables into interactive data explorers with minimal code changes. Developers can customize its behavior through an extensive API, adding export buttons, column visibility toggles, custom filters, and integration with remote data sources via Ajax. The plugin is modular, with a core that provides essentials and a wide range of extensions... -
18
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... -
19
Nerfies
This is the code for Deformable Neural Radiance Fields
Nerfies demonstrates deformation-aware neural radiance fields that reconstruct and render dynamic, real-world scenes from casual video. Instead of assuming a static world, the method learns a canonical space plus a deformation field that maps changing poses or expressions back to that space during training. This lets the system generate photorealistic novel views of nonrigid subjects—faces, bodies, cloth—while preserving fine detail and consistent lighting. The training pipeline handles... -
20
WBBlades
WBBlades is a tool set based on Mach-O file parsing
WBBlades is a toolset based on Mach-O file parsing, including one-click detection for the app (supports OC and Swift), package size analysis (supports a single static library/dynamic library), point-to-point crash analysis (analyze system crash log, based on symbol file and without symbol files), Class automatic extraction and Hook capability based on Mach-O file. It mainly uses __Text assembly code analysis, architecture extraction, DYSM file stripping, symbol table stripping, and crash... -
21
CodeQL
Libraries and queries that power security researchers
CodeQL is a semantic code analysis engine that treats programs as queryable databases, enabling users to write expressive queries that identify security vulnerabilities, logic bugs, and code quality issues across large codebases. Instead of just pattern matching text, CodeQL ingests source code, builds rich representations of structure and data flow, and allows queries that reason about control flow, type systems, and interprocedural relationships. -
22
PowerMock
Java framework that allows you to unit test code normally
Writing unit tests can be hard and sometimes good design has to be sacrificed for the sole purpose of testability. Often testability corresponds to good design, but this is not always the case. For example final classes and methods cannot be used, private methods sometimes need to be protected or unnecessarily moved to a collaborator, static methods should be avoided completely and so on simply because of the limitations of existing frameworks. PowerMock is a framework that extends other... -
23
Yesod
A RESTful Haskell web framework built on WAI
Yesod is a high-performance web framework for Haskell focused on enabling productive development of type-safe, RESTful web applications. It leverages Haskell's strong static typing, compile-time safety checks, Template Haskell, and domain-specific quasiquoters to ensure high reliability and performance. Safety & security guaranteed at compile time. Developer productivity: tools for all your basic web development needs. Raw performance, fast, compiled code. Techniques for constant-space... -
24
XSpear
Powerfull XSS Scanning and Parameter analysis tool&gem
XSpear is an XSS Scanner on ruby gems. Powerful XSS Scanning and Parameter analysis tool&gem. -
25
TypeScript Koa Starter
TypeScript Koa Starter
Koa with TypeScript's application generator. Creates a new typescript koa application. application is configured to use TypeScript instead of plain JavaScript. Node Js is great for the rapid development of web-projects, but is often neglected because of the lack of type safety. TypeScript solves this issue and (along with its linter file) can even make your code more robust than some other static languages like Java.