Search Results for "static code analysis" - Page 4
Sort By:
277 projects for "static code analysis" with 2 filters applied:
-
Build on Google Cloud with $300 in Free CreditStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query exabytes in BigQuery, or build AI apps with Vertex AI and Gemini. Once your credits are used, keep building with 20+ products with free monthly usage, including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. Sign up to start building right away.
-
Deploy Apps in Seconds with Cloud RunCloud Run is the fastest way to deploy containerized apps. Push your code in Go, Python, Node.js, Java, or any language and Cloud Run builds and deploys it automatically. Get fast autoscaling, pay only when your code runs, and skip the infrastructure headaches. Two million requests free per month. And new customers get $300 in free credit.
-
1
rspirv
Rust implementation of SPIR-V module processing functionalities
rspirv is a Rust-based parser, builder, and disassembler for SPIR-V, the intermediate binary format used in Vulkan and OpenCL for shaders and compute kernels. It’s part of the gfx-rs ecosystem, a suite of graphics tools aiming to provide cross-platform rendering capabilities in Rust. rspirv enables manipulation and inspection of SPIR-V modules, which is useful in shader compilers, graphics drivers, and development tools for low-level GPU programming. The library strictly follows the SPIR-V... -
2
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 file (ips) analysis technology. ... -
3
Quan is designed to model physical quantities in C++ programs. Advantages include automated dimensional analysis checking, automatic unit conversions, self documentation of code.
-
4
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... -
99.99% Uptime for Your Most Critical DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
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. -
6
BMC
Notes on Scientific Computing for Biomechanics
This repository is a collection of lecture notes and code on scientific computing and data analysis for Biomechanics and Motor Control. -
7
joi-router
Configurable, input and output validated routing for koa
Easy, rich, and fully validated koa routing. koa-joi-router returns a constructor that you use to define your routes. The design is such that you construct multiple router instances, one for each section of your application which you then add as koa middleware. The route definition for the currently matched route is available via ctx.state.route. This object is not the exact same route definition object that was passed into koa-joi-router, nor is it used internally - any changes made to this... -
8
earthengine-py-notebooks
A collection of 360+ Jupyter Python notebook examples
...Users can quickly adapt the examples for their own remote sensing, environmental monitoring, or spatial data science projects, and can run the code in environments like Google Colab. -
9
Kataw
An 100% spec compliant ES2022 JavaScript toolchain
Kataw is a JavaScript toolchain aiming for full compliance with the ES2022 specification. It offers tools for parsing, analyzing, transforming, and minifying JavaScript code, consolidating functionalities typically handled by separate tools. -
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.
-
10
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... -
11
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 memory consumption. ... -
12
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
13
MuLanPa
transfer text in diverse formats into specific xml parser-trees
MuLanPa is a source-analyser with a configurable parser and may be may be used for several programming-languages. Its xml-output should be used for tools like project-browsers or code-viewers like moritz (www.sourceforge.net/projects/moritz/) . -
14
Metrix++
Management of source code quality is possible.
The project has been moved to https://github.com/metrixplusplus/metrixplusplus ______________________ Metrix++ is an extendable tool to collect and analyse code metrics. - Multiple languages supported - Multiple metrics available - Configurable. Every metric has got 'turn-on' and other configuration options. There are no predefined thresholds for metrics or rules. You can choose and configure any limit you want. - High-performance. Processes thousands of files per minutes. -... -
15
A query language for code browsing. You query your database-- why don't you query your code? Write queries to provide custom views of your Java or C#/CLR code base. Integrates with popular IDEs or standalone.
-
16
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. -
17
TypeScript Koa Starter
TypeScript Koa Starter
...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. -
18
qlogtimeliner
Your application log analysis tool.
This tool helps with analysis multithreaded logs by visualising log events on a timeline. It is user responsibility to create rules for log parsing in actionscript (like JavaScript) You need to have latest Qt sdk installed in order to build it from source code. -
19
Browser diet
The definitive front-end performance guide
Browser diet is a community-driven front-end performance guide presented as a fun, colorful website that explains how to make web pages faster and “lighter.” It collects advice from experienced front-end developers and organizes it into practical sections covering HTML, CSS, JavaScript, images, server configuration, and general best practices. The project was built as a static site powered by DocPad, with content written in Markdown and translated into multiple languages, making it... -
20
RecNN
Reinforced Recommendation toolkit built around pytorch 1.7
This is my school project. It focuses on Reinforcement Learning for personalized news recommendation. The main distinction is that it tries to solve online off-policy learning with dynamically generated item embeddings. I want to create a library with SOTA algorithms for reinforcement learning recommendation, providing the level of abstraction you like. -
21
IntelliJ Plugins
Open-source plugins included in the distribution of IntelliJ IDEA
IntelliJ-Plugins is a GitHub organization and central repository collection maintained by JetBrains that hosts a vast ecosystem of plugins extending the functionality of IntelliJ-based IDEs, including IntelliJ IDEA, PyCharm, WebStorm, CLion, and more. These plugins range from language support (e.g., for Rust, Go, or SQL) to productivity tools, UI themes, database helpers, VCS integrations, code analysis tools, and domain-specific utilities that tailor the IDE to different development workflows. By hosting plugin source code publicly, JetBrains promotes transparency, community contribution, and shared ownership of tooling that improves developer productivity and integrates niche technologies into world-class IDEs. Developers can explore design patterns, sample implementations, and extension points used by real plugins, learn how to build their own, or contribute enhancements and bug fixes. -
22
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. -
23
Personal Blog
One article per week, the content is concise, neither salty nor light
Personal Blog holds the source structure and article index for the author’s personal technical blog, which is closely tied to the “芋道源码” WeChat public account. It uses Markdown files and a static-site setup (with configuration like _config.yml) to organize posts about Java back-end engineering, distributed systems, and source-code deep dives. The README and index emphasize that the blog (in this repo) is paused and that new content is primarily delivered via the WeChat channel, but the GitHub repo remains the canonical archive of links and categories. ... -
24
awesome-ci
Awesome Continuous Integration
awesome-ci is a suite of command-line tools aimed at enhancing Continuous Integration (CI) workflows. It focuses on static code analysis, syntax checking, and file validation to maintain code quality across projects. -
25
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.
