Search Results for "source code static anala" - Page 8
Sort By:
Showing 309 open source projects for "source code static anala"
View related business solutions-
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.
-
$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 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... -
2
jekyllDecent
Blog Template for Jekyll
This is a blog template for a static site generator named Jekyll based on a Ghost template named Decent. Installation instructions, features, previews and more can be found in the GitHub generated blog. This blog is automatically generated out of the source code in the gh-pages branch. If you like to see the theme in production have a look at jwillmer.de. -
3
Security Code Scan
Vulnerability Patterns Detector for C# and VB.NET
Detects various security vulnerability patterns. SQL Injection, Cross-Site Scripting (XSS), Cross-Site Request Forgery (CSRF), XML eXternal Entity Injection (XXE), etc. Inter-procedural taint analysis for input data. Continuous Integration (CI) support for GitHub and GitLab pipelines. Stand-alone runner or through MSBuild for custom integrations. Analyzes .NET and .NET Core projects in the background (IntelliSense) or during a build. Works with Visual Studio 2019 or higher. Visual Studio... -
4
GoKart
A static analysis tool for securing Go code
GoKart is a static analysis tool for Go that finds vulnerabilities using the SSA (single static assignment) form of Go source code. It is capable of tracing the source of variables and function arguments to determine whether input sources are safe, which reduces the number of false positives compared to other Go security scanners. For instance, a SQL query that is concatenated with a variable might traditionally be flagged as SQL injection; however, GoKart can figure out if the variable is actually a constant or constant equivalent, in which case there is no vulnerability. ... -
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
Rakkas
Bleeding-edge React framework powered by Vite
Rakkas is a bleeding-edge full-stack React framework powered by Vite. You can consider it an up-and-coming alternative to Next.js, Remix, or Gatsby. Although many features have been implemented, Rakkas is still under heavy development. It uses experimental and/or beta features of React and Vite. Minor releases will introduce breaking changes until we hit 1.0. As such, it's not yet ready for production use. If you need a stable React framework try Next.js, Remix, or Gatsby. create-rakkas-app... -
6
EmbedIO
A tiny, cross-platform, module based web server for .NET
A tiny, cross-platform, module based, MIT-licensed web server for .NET Framework and .NET Core. Written entirely in C#, using our helpful library SWAN. Network operations use the async/await pattern: Responses are handled asynchronously. Multiple implementations support: EmbedIO can use Microsoft HttpListener or internal Http Listener based on Mono/websocket-sharp projects. Cross-platform: tested on multiple OS and runtimes. From Windows .NET Framework to Linux MONO. Extensible: Write your... -
7
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 -
8
generator-ngx-rocket
Extensible Angular 13+ enterprise-grade project generator
Extensible Angular 5+ enterprise-grade project generator based on angular-cli with best practices from the community. Bootstrap, Angular Material or even Ionic are available, just pick one and start to code. Save time and maintenance effort by creating Progressive Web App and mobile app with the same code base. The app template is based on HTML5, TypeScript and Sass. Optimized build and bundling process with Webpack. Development server with backend proxy and live reload. Cross-browser CSS... -
9
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... -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
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.) ... -
11
docz
It has never been so easy to document your things!
Docz makes it easy to write and publish beautiful interactive documentation for your code. Create MDX files showcasing your code and Docz turns them into a live-reloading, production-ready site. Documenting code is one of the most important and time-consuming tasks when developing software. A lot of time is spent on building and maintaining custom documentation sites. Docz enables you to quickly create a live-reloading, SEO-friendly, production-ready documentation site with MDX and customize... -
12
Swagger2Markup
Swagger to AsciiDoc or Markdown converter
The primary goal of this project is to simplify the generation of up-to-date RESTful API documentation by combining documentation that’s been hand-written with auto-generated API documentation produced by Swagger. The result is intended to be an up-to-date, easy-to-read, on- and offline user guide, comparable to GitHub’s API documentation. The output of Swagger2Markup can be used as an alternative to swagger-UI and can be served as static content. Swagger2Markup converts a Swagger JSON or... -
13
Klipse
Klipse is a JavaScript plugin for embedding interactive code snippets
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs. Technically, Klipse is a small piece of JavaScript code that evaluates code snippets in the browser and it is pluggable on any web page. The klipse plugin is a JavaScript tag that transforms static code snippets of an HTML page into live and interactive snippets. If you want to integrate Klipse inside a Clojurescript project, it is recommended to consume Klipse as a Clojurescript library like any other... -
14
Smart Contract Sanctuary
A home for ethereum smart contracts
...Contains smart contract sources for various networks, grouped by the first two chars of the contract address. A scriptable semantic grep utility for solidity (crunch numbers, find specific contracts, extract data) Semgrep is a fast, open-source, static analysis tool for finding bugs and enforcing code standards at editor, commit, and CI time, and now supports Solidity! A powerful online code search service that can be used to search the sanctuary without cloning. -
15
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... -
16
Dev Cheatsheets
A collection of code snippets and CLI guides for quick reference
A collection of code snippets and CLI guides for quick and easy reference while coding. Coding ingredients or building blocks. This is about having a central reference for language syntax or CLI features, without having to wade through docs and tutorials and StackOverflow. A reference for how to use a CLI tool, language or library. It’s mean to be a quick reference so you can get what you need without having to scroll or navigate a lot. Including syntax but emphasizing real world examples.... -
17
reveal-jekyll
Online presentation for GitHub Pages and Jekyll in Markdown
Transforms Markdown files into presentation slides using reveal.js and Jekyll. The theme is based on Solarized Colors (by Ethan Schoonover) containing a light and a dark theme. reveal-jekyll is ready for GitLab Pages as well as GitHub Pages. Jekyll is a simple, blog-aware, static site generator perfect for personal, project, or organization sites. Think of it like a file-based CMS, without all the complexity. Jekyll takes your content, renders Markdown and Liquid templates, and spits out a... -
18
mysqly
PHP data framework for Mysql
Full-featured opensource small-overhead PHP data framework for Mysql built for fast and efficient development -
19
After.js
Next.js-like framework for server-rendered React apps
Next.js is awesome. However, its routing system isn't for me. IMHO React Router is a better foundation upon which such a framework should be built, and that's the goal here. Routes are just components and don't / should not have anything to do with folder structure. Static route configs are fine. Next.js's getInitialProps was/is a brilliant idea. Route-based code-splitting should come for free or be easy to opt into. Route-based transitions/analytics/data loading/preloading etc., should... -
20
Cryogen
A simple static site generator written in Clojure
Shipped as a template on Leiningen, a Clojure build tool. No need to configure databases, it just works out of the box. Clear separation between your content and layouts makes for fuss-free customization. CSS and JavaScript can be easily added. Don't worry about linking up your posts or managing your sitemap and RSS feeds, Cryogen does it all. Cryogen is a simple static site generator built with Clojure. It's shipped on Leiningen so setup is fuss free and there's no need to mess with... -
21
json iterator
High-performance 100% compatible drop-in replacement of encoding/json
Add import "github.com/json-iterator/go" and replace json.Marshal with jsoniter.Marshal. Then the code should behave exactly the same, just much faster. Unlike easyjson or other json libaries, jsoniter does not rely on static code generation. Unmarshal, NewEncoder, NewDecoder they all works. Existing types implemented Marshaler or Unmarshaler interface will also work. Map with non-string key also work. Yes, everything just works. The default performance is already several times faster than... -
22
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... -
23
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... -
24
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... -
25
Jekyll theme: Adam Blog 2.0
The Minimum Viable Model website and Jekyll theme
Adam Blog 2.0 is a Jekyll theme that was built to be 100% compatible with GitHub Pages. If you are unfamiliar with GitHub Pages, you can check out their documentation for more information. Jonathan McGlone's guide on creating and hosting a personal site on GitHub is also a good resource. Jekyll is a simple, blog-aware, static site generator for personal, project, or organization sites. Basically, Jekyll takes your page content along with template files and produces a complete website. The...