Search Results for "source code static anala" - Page 11
Sort By:
Showing 347 open source projects for "source code static anala"
View related business solutions-
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.
-
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.
-
1
Autologging
Easier logging and tracing of Python functions and class methods.
Autologging eliminates boilerplate logging setup code and tracing code, and provides a means to separate application logging from program flow and data tracing. Autologging provides two decorators and a custom log level: "autologging.logged" decorates a class to create a __log member. By default, the logger is named for the class's containing module and name (e.g. "my.module.ClassName"). "autologging.traced" decorates a class to provide automatic CALL/RETURN tracing for all class,... -
2
Luacheck
A tool for linting and static analysis of Lua code
Luacheck is a static analyzer and a linter for Lua. Luacheck detects various issues such as usage of undefined global variables, unused variables and values, accessing uninitialized variables, unreachable code and more. Most aspects of checking are configurable: there are options for defining custom project-related globals, for selecting set of standard globals (version of Lua standard library), for filtering warnings by type and name of related variable, etc. The options can be used on the... -
3
ansvif
An advanced cross platform fuzzing framework suited to find code bugs.
ansvif, or A Not So Very Intelligent Fuzzer, suited to find bugs in code by throwing garbage arguments, files, and environment variables at the target program, that you may or may not have the source code to. It supports many features, such as buffer size, randomization of the buffer size, random data injection, templates, and much more. The purpose of this project is to identify bugs in software, specifically bugs that can induce a segmentation fault under various conditions. This aids... -
4
Ponder
C++ reflection library with Lua binding, and JSON and XML
Ponder is a C++ library that provides runtime reflection for types. It provides an abstraction for most of the high-level concepts of C++ like classes, enumerations, properties, functions, and objects. By wrapping all these concepts into abstract structures, Ponder provides an extra layer of flexibility to programs and allows them to expose and manipulate their data structures at runtime. Many applications can take advantage of Ponder, in order to automate tasks that would otherwise require... -
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.
-
5
Transcrypt
Python in the Browser
Lean and mean Python 3.6 to JavaScript compiler. Supports multiple inheritance, operator overloading and Python source level debugging, even of minified Javascript files. Transcrypt code is as fast and compact as its Javascript counterpart, and it is precompiled for page load speed. You can now develop your web applications completely in Python, with full access to any Javascript library. -
6
Google Closure Compiler
A JavaScript checker and optimizer
Closure Compiler is a production-grade JavaScript optimizer and checker that parses JS, analyzes it, removes dead code, rewrites and minifies what remains, and emits faster, smaller bundles. Beyond minification, it performs advanced optimizations such as inlining, property collapsing, type-guided rewrites, and cross-module motion, often yielding substantial load-time wins. It includes a strong static checker that validates syntax, variable references, and type annotations (Closure types or... -
7
Python/xarray tutorial
Python/xarray tutorial for GEOS-Chem users
If the page is loaded successfully, you should see a Jupyter notebook interface. Then, click on the first notebook to get started. Jupyter combines Python code, execution results, plots, custom texts, and even Latex formulas in a single page. Besides using the Jupyter program, you can also view the static notebook on GitHub (e.g the first notebook). Python is free & open-source so can be easily installed on any machines. To best way to get the scientific Python environment is using the Conda management system. ... -
8
JPPF
The open source grid computing solution
JPPF makes it easy to parallelize computationally intensive tasks and execute them on a Grid. -
9
Pose
Replace any .NET method (including static) with a delegate
Pose allows you to replace any .NET method (including static and non-virtual) with a delegate. It is similar to Microsoft Fakes but unlike it Pose is implemented entirely in managed code (Reflection Emit API). Everything occurs at runtime and in memory, no unmanaged Profiling APIs and no file system pollution with re-written assemblies. Pose is cross-platform and runs anywhere .NET is supported. It targets .NET Standard 2.0 so it can be used across .NET platforms including .NET Framework,... -
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.
-
10
vcproj2cmake
Visual Studio .vc[x]proj to CMakeLists.txt (make, Ninja ...) enabler
...For instructions see README.txt - for ad-hoc access see Browse Code button (experimental_unverified head) -, then attempt guided installation on a .vc[x]proj-based source tree, via install_me_fully_guided.rb . Devel cooperation welcome!! -
11
West Wind Globalization
Database driven resource localization for .NET applications
This library and tooling provides easy-to-use database resource managers and providers that allow you to use a database for storing localization resources. Unlike static Resx resources, database resources are dynamic, can be changed at runtime and are editable by multiple users at the same time. The custom resource managers, providers and ASP.NET Core StringLocalizers use the standard .NET resource infrastructure, so other than startup configuration there are no code changes when switching... -
12
Koa2 RESTful API
RESTful API Server
This is a lightweight RESTful API Server scaffolding based on Koa2, supporting ES6. Since the Koa version is upgraded to 2.3.0+, in order to match the corresponding dependencies, the Node.js version is required to be greater than or equal to v8.0.0 (v11.13.0 is recommended), and the NPM version is greater than or equal to v5.0.0. It is recommended to use yarn instead of npm. This scaffolding only installs some necessary plug-ins that do not conflict with Koa2 to build a RESTful API Server,... -
13
Lens Jekyll
A Jekyll theme for photographers and photo bloggers
A Jekyll website for photographers and photo bloggers. Lens is a photo gallery Jekyll theme designed especially for photographers and photo bloggers. Jekyll Lens uses Jekyll Static Site Generator (SSG) to generate the website and GitHub Pages to host it. -
14
Grumpy
Grumpy is a Python to Go source code transcompiler and runtime
Grumpy is a Python-to-Go transcompiler and runtime designed as a near drop-in replacement for CPython 2.7 that compiles Python source to Go, then to native code. Instead of executing Python bytecode in a VM, Grumpy translates modules into Go code that calls a Go runtime library emulating Python semantics, which can yield performance and deployment benefits in Go ecosystems. The approach integrates with Go’s toolchain, enabling static binaries and potentially easier distribution in environments where Go is already standard. ... -
15
abumpack
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are... -
16
JILRuntime/JewelScript
An object-oriented script language to embed in any application
A general purpose, object-oriented script language that compiles into code for a register based virtual machine. The language is quite similar to object-oriented high-level languages like Java and C#. The library is entirely self-sufficient and ANSI C compliant. It's main purpose is to be embedded in any application to allow automation of that application through scripting. An integrated C++ binding code generator allows you to create bindings for your application's classes in seconds.... -
17
Elchemy
Write Elixir code using statically-typed Elm-like syntax
Elchemy lets you write simple, fast, and quality-type safe code while leveraging both the Elm's safety and Elixir's ecosystem. Elchemy is a set of tools and frameworks, designed to provide a language and an environment as close to Elm programming language as possible, to build server applications in a DSL-like manner for Erlang VM platform, with a readable and efficient Elixir code as an output. ML-like syntax maximizes expressiveness with additional readability and simplicity constraints.... -
18
Needle
The iOS Security Testing Framework
Needle is an open-source, modular framework to streamline the process of conducting security assessments of iOS apps. Needle was originally made to work with iOS 9 and iOS 10. Since then, Frida was released and become the defacto tool to use with mobile security assessments. Some common Frida mobile security scripts were later implemented within Needle, as some of these scripts worked better or addressed some issues that were present in Needle's custom tooling. Assessing the security of an... -
19
Qt Creator Cppcheck integration plugin
Qt Creator Cppcheck integration plugin
Allows to use Cppcheck static analyzer tool in Qt Creator IDE. Sources can be obtained here: https://github.com/OneMoreGres/qtc-cppcheck IMPORTANT: plugin's version must match Qt Creator's version (difference in last digit is acceptable) Then plugin must be enabled in Help->Modules menu. -
20
C++ Core Guidelines
The C++ Core Guidelines are a set of tried-and-true guidelines
The C++ Core Guidelines is a living set of best-practice recommendations for writing modern, safe, and maintainable C++. Authored and curated by leaders in the C++ community, it organizes guidance into rules on type and resource safety, interfaces, performance, error handling, concurrency, and library design. Each rule is rationale-driven, showing the “why” behind recommendations and linking to examples that illustrate good and bad patterns. The guidelines encourage use of modern language... -
21
simple-test
Simple and easy to use C++ code testing suite.
simple-test was developed to make C++ code testing easy. A test can be implemented using just one single header file. -
22
RIPS - PHP Security Analysis
Free Static Code Analysis Tool for PHP Applications
RIPS is a static code analysis tool for the automated detection of security vulnerabilities in PHP applications. It was released 2010 during the Month of PHP Security (www.php-security.org). NOTE: RIPS 0.5 development is abandoned. A complete rewrite with OOP support and higher precision is available at https://www.ripstech.com/next-generation/ -
23
PGP Keyserver Site Source
This repository is the source directory for my OpenPGP Keyserver's web
...Jekyll is a static site generator built in Ruby on Rails. With this approach, you are able to build a high-power build site, using a low-power, very stable webserver running a static site. Jekyll is not needed on the webserver, updates must be done by a build system, from this source repository, then sent to the webserver. -
24
BWEM
Fast and robust map analyser for Brood War.
Brood War Easy Map is a C++ library that analyses Brood War's maps and provides relevant information such as areas, choke points and base locations. It is built on top of the BWAPI library. It first aims at simplifying the development of bots for Brood War, but can be used for any task requiring high level map information. It can be used as a replacement for the BWTA2 add-on, as it performs faster and shows better robustness while providing similar information. -
25
OovAide
C++, Java IDE with auto class, sequence, zone, dependency, diagrams
...The OovAide project is a C++ or Java analysis IDE for Windows or Linux with an automated multi-tasking build system, cross compiler support, an analysis tool based on CLang that creates UML class, component, sequence as well as zone and portion diagrams from C++ or Java source, static analysis and test coverage. The diagrams allow navigation through the source code, and can be edited manually and saved as .SVG files. It creates CMake files and can be built using Eclipse or CMake. Export to SQLite is supported.