Search Results for "static code analysis"
Sort By:
Showing 35 open source projects for "static code analysis"
View related business solutions-
Cut Your Data Warehouse Bill by 54%BigQuery delivers 54% lower TCO with serverless scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
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.
-
1
HTMLHint
The static code analysis tool you need for your HTML
Static code analysis tool you need for your HTML. By default, htmlhint looks for a .htmlhintrc file in the current directory and all parent directories and applies its rules when parsing a file. -
2
Infer
A static analyzer for Java, C, C++, and Objective-C
Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance. Infer checks for null pointer exceptions, resource leaks, annotation reachability, missing lock guards, and concurrency race conditions in Android and Java code. -
3
ShellCheck
A static analysis tool for shell scripts
ShellCheck is a GPLv3 tool that provides warnings and possible suggestions for bash/sh shell scripts. ShellCheck finds bugs in your shell scripts. You can cabal, apt, dnf, pkg or brew install it locally right now. ShellCheck highlights and clarifies typical beginner's syntax mistakes and issues that cause a shell to give a cryptic error message. It shows typical intermediate level semantic problems that cause a shell to behave in a abnormally and counter-intuitively. It can also discover... -
4
Franklin.jl
Static site generator. Simple, customisable, fast, maths with KaTeX
Franklin is a simple static site generator (SSG) oriented towards technical blogging (code, maths, ...), flexibility and extensibility. The base syntax is plain markdown with a few extensions such as the ability to define and use LaTeX-like commands in or outside of maths environments and the possibility to evaluate code blocks on the fly. -
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.
-
5
Pelican
Static site generator that supports Markdown and reST syntax
Pelican is a static site generator that requires no database or server-side logic. Chronological content (e.g., articles, blog posts) as well as static pages. Integration with external services. Site themes (created using Jinja2 templates). Publication of articles in multiple languages. Generation of Atom and RSS feeds. Code syntax highlighting via Pygments. -
6
TEMPL
A language for writing HTML user interfaces in Go
Create components that render fragments of HTML and compose them to create screens, pages, documents, or apps. -
7
Vanilla.PDF
Cross-platform SDK for creating and modifying PDF documents
...Vanilla.PDF supports advanced PDF features such as adding CMS (PKCS#7) digital signatures, modifying content streams and metadata, and working with encryption and permissions based on standard PDF security models. It includes tools for parsing PDF internals like cross-reference tables and objects, providing fine-grained document analysis capabilities. The project is unit-tested with continuous integration pipelines, supporting sanitizers for enhanced code quality and stability. -
8
Mavo
Create web applications entirely by writing HTML and CSS
Create complex, reactive, persistent web applications by just writing HTML & CSS, without a single line of JavaScript and no server backend. Developed in the Haystack Group at MIT CSAIL and led by Lea Verou. Mavo extends the syntax of HTML to describe Web applications that manage, store, and transform data. Store data in the cloud, locally, or not at all by just changing an HTML attribute. Edit data right on the website, with an intuitive, auto-generated, customizable interface. No more... -
9
Elixir Language Server
A frontend-independent IDE "smartness" server for Elixir
Implementing features such as auto-complete or go-to-definition for a programming language is not trivial. Traditionally, this work had to be repeated for each development tool and it required a mix of expertise in both the targeted programming language and the programming language internally used by the development tool of choice. The Elixir Language Server (ElixirLS) provides a server that runs in the background, providing IDEs, editors, and other tools with information about Elixir Mix... -
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.
-
10
CBECC-Res
Residential California Energy Commissiom Performance Compliance
California Energy Commission software for residential building energy code compliance analysis based on the performance path. License (modified BSD) for CEC Compliance Engine and CBECC-Res UI: https://sourceforge.net/p/cbecc-res/code/HEAD/tree/trunk/CBECC-Res/License.txt -
11
CBECC-Com
Nonresidential California Energy Commission Performance Compliance
California Energy Commission software for nonresidential building energy code compliance analysis based on the performance path. License (modified BSD) for CEC Compliance Engine and CBECC-Com UI: https://sourceforge.net/p/cbecc-com/code/HEAD/tree/trunk/CBECC-Com13/License.txt License for embedded EnergyPlus software: https://sourceforge.net/p/cbecc-com/code/HEAD/tree/trunk/CBECC-Com13/License-EPlusUser.txt -
12
nodejsscan
nodejsscan is a static security code scanner for Node.js applications
Static security code scanner (SAST) for Node.js applications powered by libsast and semgrep. nodejsscan is a static security code scanner for Node.js applications. -
13
Plot
A DSL for writing type-safe HTML, XML and RSS in Swift
Welcome to Plot, a domain-specific language (DSL) for writing type-safe HTML, XML and RSS in Swift. It can be used to build websites, documents and feeds, as a templating tool, or as a renderer for higher-level components and tools. It’s primary focus is on static site generation and Swift-based web development. Plot enables you to write HTML using native, fully compiled Swift code, by modeling the HTML5 standard’s various elements as Swift APIs. The result is a very lightweight DSL that lets you build complete web pages in a highly expressive way. Plot added both all of the necessary attributes to load the requested CSS stylesheet, along with additional metadata for the page’s title as well, improving page rendering, social media sharing, and search engine optimization. ... -
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
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... -
16
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 Clojurescript lib. ... -
17
WAI-ARIA
WAI-ARIA Authoring Practices Guide (APG)
WAI-ARIA Authoring Practices Guide (APG) Learn to use the accessibility semantics defined by the Accessible Rich Internet Application (ARIA) specification to create accessible web experiences. This guide describes how to apply accessibility semantics to common design patterns and widgets. It provides design patterns and functional examples complemented by in-depth guidance for fundamental practices. Work is planned and prioritized in our milestones. Each milestone corresponds to a working... -
18
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... -
19
Tidy
The granddaddy of HTML tools, with support for modern standards
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 modern standards. libtidy is a C static and dynamic library that developers can integrate into their applications in order to bring all of Tidy’s power to your favorite tools. libtidy is used today in desktop applications, web servers, and more. Tidy tidies HTML and XML. It can tidy your documents by itself, and developers can easily integrate its features into even more powerful tools. ... -
20
Tidy
The granddaddy of HTML tools, with support for modern standards
...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 modern standards. libtidy is a C static and dynamic library that developers can integrate into their applications in order to bring all of Tidy’s power to your favorite tools. libtidy is used today in desktop applications, web servers, and more. The HTML Tidy library, libtidy, is used and incorporated into many applications and projects. ... -
21
Simple HttpErrorPages
Simple HTTP Error Page Generator
Simple HTTP Error Page Generator. Create a bunch of custom error pages - suitable to use with Lighttpd, Nginx, expressjs, koans, Apache-Httpd, or any other Webserver. NGINX supports custom error-pages using multiple error_page directives. Apache Httpd 2.x supports custom error pages using multiple ErrorDocument directives. To customize the pages, you can edit any of the template files and finally run the generator-script. All generated HTML files are located in the dist/ directory by... -
22
Sploit
SploitFrameWork *BETA*
WELCOME TO THE SPLOITFRAMEWORK SPLOIT COMES WITH A PAYLOAD OF THINGS FOR ALL YOUR HACKING NEEDS, SUCH AS 1. Email Phishing 2. Spear Phishing 3. Spoofing 4. Credential Harvester 5. Kayloggers 6. Tabnabbing And More . . . -
23
cquery
C/C++ language server supporting multi-million line code base
C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server protocol support. Cross-references, completion, diagnostics, semantic highlighting, and more. cquery is a highly-scalable, low-latency language server for C/C++/Objective-C. It is tested and designed for large codebases like Chromium. cquery provides accurate and fast semantic analysis without interrupting workflow. cquery implements almost the entire language server protocol and provides some extra features to boot. cquery is able to respond to queries quickly because it caches a huge amount of information. ... -
24
FlexibleParser_Java
Group of multi-purpose Java-converted-from-C# parsing libraries.
FlexibleParser (Java) is currently formed by the following independent libraries/parts: - UnitParser. It allows to easily deal with a wide variety of situations involving units of measurement. - NumberParser. It provides a common framework for all the .NET numeric types. AUTHORSHIP & COPYRIGHT I, Alvaro Carballo Garcia (varocarbas), am the sole author of each single bit of this code. All the contents of this repository can be considered public domain. For more information about my... -
25
FlexibleParser
FlexibleParser is a group of multi-purpose .NET parsing libraries.
FlexibleParser (C#/.NET) is currently formed by the following independent libraries/parts: - UnitParser. It allows to easily deal with a wide variety of situations involving units of measurement. - NumberParser. It provides a common framework for all the .NET numeric types. - DateParser. It enhances the default .NET date/time support. AUTHORSHIP & COPYRIGHT I, Alvaro Carballo Garcia (varocarbas), am the sole author of each single bit of this code. All the contents of this...
