Search Results for "static code analysis" - Page 14
Sort By:
Showing 896 open source projects for "static code analysis"
View related business solutions-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
Go From Idea to Deployed AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
CARTOframes
CARTO Python package for data scientists
A Python package for integrating CARTO maps, analysis, and data services into data science workflows. Python data analysis workflows often rely on the de facto standards pandas and Jupyter notebooks. Integrating CARTO into this workflow saves data scientists time and energy by not having to export datasets as files or retain multiple copies of the data. Instead, CARTOframes give the ability to communicate reproducible analysis while providing the ability to gain from CARTO's services like hosted, dynamic or static maps and Data Observatory augmentation. -
2
Open source Algol 68 implementations
Implementations for the Revised Report language
This project offers open source implementations for UNESCO/IFIP's Algol 68 (the Revised Report language). The project offers two implementations: Implementation 1 is Algol68G: a recent checkout hybrid compiler/interpreter by Marcel van der Veer, supporting arbitrary arithmetic, partial parametrisation, complex numbers, POSIX threads, GNU plotutils, GNU scientific library, curses, sound, TCP sockets, RegEx and PostgreSQL. Inplementation 2 is algol68toc, a port by Sian Mountbatten... -
3
Ravi Programming Language
Ravi is a dialect of Lua, featuring limited optional static typing
...However, static typing is optional and therefore Lua 5.3 programs are also valid Ravi programs. There are other attempts to add static typing to Lua (e.g. Typed Lua but these efforts are mostly about adding static type checks in the language while leaving the VM unmodified. So the static typing is to aid programming in the large - the code is eventually translated to standard Lua and executed in the unmodified Lua VM. -
4
CSS Theme Change
Change CSS theme with toggle, buttons or select using CSS properties
...It can react to user toggles as well as automatically adapt to the user’s OS-level dark/light mode settings, helping developers build interfaces that feel modern and responsive without writing boilerplate theme code. Because it abstracts away cross-browser quirks and standardizes how CSS variables or classes are applied, it saves time and reduces bugs related to inconsistent theme behavior. It’s also modular and tiny in size, meaning it can be dropped into static sites, component libraries, or SPAs without significantly increasing bundle size. -
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
Twitter's Jetpack Compose Rules
Static checks to aid with a healthy adoption of Compose
...This is where our static checks come in. We want to detect as many potential issues as we can, as quickly as we can. In this case, we want an error to show prior to engineers having to review the code. Similar to other static check libraries we hope this leads to a "don't shoot the messengers" philosophy which will foster healthy Compose adoption. -
6
JSHint
A tool that helps to detect errors and in your JavaScript code
...So, static code analysis tools come into play and help developers spot such problems. JSHint scans a program written in JavaScript and reports about commonly made mistakes and potential bugs. The potential problem could be a syntax error, a bug due to an implicit type conversion, a leaking variable, or something else entirely. -
7
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... -
8
Jadecy
Java lib to compute (code) deps, SCCs, and cycles (Johnson algorithm).
Jadecy (Java Dependencies and Cycles) is a Java library to compute dependencies (elements depended on, or depending), strongly connected components, and cycles, in general directed graphs, or classes or packages dependencies graphs parsed from class files (major version <= 52, else does best effort). It uses Tarjan's algorithm for SCCs computation, and Johnson's algorithm for exhaustive cycles computation, with continuations instead of recursion, which allows to handle large graphs (<... -
9
Slate
Beautiful static documentation for your API
Slate is an open source API docs generator capable of creating beautiful, intelligent and responsive API documentation. It’s got a clean, intuitive design that lets you view and access any part of your documentation in just a single page. All of your API’s description is arranged on the left side of your documentation, while the code examples are all on the right. It looks great and is simple to edit and understand because it’s all written in Markdown. Slate works great even if your API... -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
RedtDec
RetDec is a retargetable machine-code decompiler based on LLVM
...Detection and reconstruction of C++ class hierarchies (RTTI, vtables). Signature-based removal of statically linked library code. Static analysis of executable files with detailed information. We currently support Windows (7 or later), Linux, macOS, and (experimentally) FreeBSD. An installed version of RetDec requires approximately 5 to 6 GB of free disk space. -
11
Security Code Scan
Vulnerability Patterns Detector for C# and VB.NET
...Other editors that support Roslyn-based analyzers like Rider or OmniSharp should work too. Security Code Scan (SCS) is not a Linter. It is a real static analysis tool that does extensive computations. Thus installing it as a Visual Studio extension or NuGet package will slow down your Visual Studio IDE. -
12
Hydrogen
Run code interactively, inspect data, and plot
Hydrogen is an interactive coding environment that supports Python, R, JavaScript and other Jupyter kernels. Hydrogen was inspired by Bret Victor's ideas about the power of instantaneous feedback and the design of Light Table. Running code inline and in real-time is a more natural way to develop. By bringing the interactive style of Light Table to the rock-solid usability of Atom, Hydrogen makes it easy to write code the way you want to. You also may be interested in our latest project –... -
13
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. ... -
14
unfetch
Bare minimum 500b fetch polyfill
Tiny 500b fetch "barely-polyfill". With a module bundler like rollup or webpack, you can import unfetch to use in your code without modifying any globals. While one of Unfetch's goals is to provide a familiar interface, its API may differ from other fetch polyfills/ponyfills. One of the key differences is that Unfetch focuses on implementing the fetch() API, while offering minimal (yet functional) support to the other sections of the Fetch spec, like the Headers class or the Response class.... -
15
CSI-Math-Notation-PostfixInfix
Perl Lib Math Notation
* Introduction: - This Module is a Library based Perl code. - The library provide: - Convert INFIX expressions to POSTFIX; - Convert POSTFIX expressions to INFIX and; - Perform POSTFIX context validations. - Context validation can be implemented in item selection routines or data context validation, when it is possible to identify data to be selected or ignored in some data analysis process -
16
QuickChart
Chart image and QR code web API
...Over 3 billion charts are rendered for users around the world. We're built on Chart.js, the most popular open-source charting library. We'll render any Chart.js configuration. Let's get creative! You can use all static customization options available in Chart.js. Visit our chart gallery to see different chart types and plugins: bar charts, line graphs, pie charts, and much more. QuickChart easily integrates with many no-code tools. Use our no-code chart maker to create custom chart templates that you can embed dynamically in spreadsheets, Airtable, Bubble, AppSheet, Thunkable, and many other no-code tools. ... -
17
Corefx
This repo is used for servicing PR's for .NET Core 2.1 and 3.1
...Because the runtime, CoreLib, and the core libraries are all intricately linked, changing runtime behaviors, adding new APIs, or changing various build processes (e.g. improving static analysis) often requires multiple PRs carefully staged across time and multiple repos. -
18
codecat
static code analysis, to find/track sinks and bugs
CodeCat is a open source tool to help you in static code analysis, to find/track sinks and bugs, this points follow regex rules... -
19
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 -
20
Ofront+
Oberon family of languages to C translator for ARM, x64 and x86 archit
Ofront+ is a tool that translates programs in Oberon dialects into semantically equivalent C programs. Full error analysis is performed on the Oberon input program and in case of no errors up to three files are generated as output. Ofront+ does not invoke the C compiler or linkage editor. This may be done in separate shell scripts or make files and is inherently dependent on the C compiler and linkage editor being used. Although normally not read by the user, the C code generated by Ofront+ is kept as readable as possible, nicely formatted, should not produce any C compiler error messages or warnings and is tuned for efficient execution. ... -
21
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. -
22
quantitative
Quantized transactions python3
The “quantitative” repository by Jack-Cherish is a tutorial-style codebase for quantitative trading written in Python — essentially a learning resource that guides users through building algorithmic trading strategies step by step. It’s organized as a sequence of lessons (lesson1, lesson2, etc.), making it approachable for learners who want to understand both theory and practice in quantitative finance. The repo is evidently tied to a popular video series (on Bilibili) that reportedly drew... -
23
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... -
24
generator-ngx-rocket
Extensible Angular 13+ enterprise-grade project generator
...Asset revisioning for better cache management. Unit tests using Jasmine, Karma, and headless Chrome. End-to-end tests using Protractor. Static code analysis: TSLint, Codelyzer, Stylelint and HTMLHint. Local knowledgebase server using Hads. Progressive Web App (PWA) support. -
25
state-threads
Lightweight thread library for C/C++ coroutine (similar to goroutine)
The State Threads Library is a small application library that provides a foundation for writing fast and highly scalable Internet applications (such as web servers, proxy servers, mail transfer agents, and so on) on UNIX-like platforms.
