Search Results for "source code static anala" - Page 17
Sort By:
Showing 478 open source projects for "source code static anala"
View related business solutions-
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.
-
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.
-
1
Linux Kernel Programming IDE (LinK+)
A Simple 'IDE'A for Linux Kernel Developers
LinK+ IDE is a simple IDE for Linux Kernel Developers and Lovers. It is based on Eclipse IDE customized for Linux kernel programming. It reduces the development time and executes code in an elegant fashion. This IDE supports Linux kernel configuration, compilation & emulation, system call development and device driver development. LinK+ IDE includes various templates in the category of character, block and network device driver subsystems for device driver development. It includes... -
2
IP2Location C library enables the user to find the country, region, city, coordinates, zip code, time zone, ISP, domain name, connection type, area code, weather, MCC, MNC, mobile brand name, elevation and usage type that any IP address or hostname originates from. It has been optimized for speed and memory utilization. Developers can use the API to query all IP2Location™ binary databases for applications written in C or supporting static/dynamic library.
-
3
AdLint
Open source and free source code static analyzer
AdLint is a source code static analyzer. It can point out insecure or nonportable code fragments, and can measure various quality metrics of the source code. It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99. AdLint is written in Ruby. So, it is available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby. -
4
OCEANS
Observational Cohort Event Analysis and Notification System
...This deployment strategy was designed to maximize compatibility and flexibility and allows continuous development and dissemination of statistical modules. The framework is a downloadable package that includes source code and assemblies/packages that can be plugged into projects in either programming environment to support retrospective and prospective static or automated real-time medical product surveillance. -
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.
-
5
DEEEP
Detector of Integer Vulnerabilities in Software Portability
DEEEP is a open source static analysis tool to detect, in C programs, integer vulnerabilities caused by the bad adaption of aplications from ILP32 to LP64. It uses the tools Lint and Splint, and runs over Open Solaris and Linux operating systems. This tool semantically analyses source code. More precisely, it does type checking, data-flow analysis, and it automatically correlates the results of these two types of analysis. -
6
PHParser
A Lexer and a Parser to PHP scripts
PHParser 1.2 generates a pure Java parser for PHP programs. Invoking this parser yields an explicit parse tree (AST) and a tree walker suitable for further analysis. This tool package is based upon: - ANTLR 3.2 or higher (www.antlr.org). - JDK 1.6 or higher (java.sun.com). - Grammar specifications of PHP 5.3. -
7
SqlFormatter
Lightweight php class for formatting sql statements
A lightweight php class for formatting sql statements. It can automatically indent and add line breaks in addition to syntax highlighting. I found myself having to debug auto-generated SQL statements all the time and wanted some way to easily output formatted HTML without having to include a huge library or copy and paste into online formatters. I was originally planning to extract the formatting code from PhpMyAdmin, but that was 10,000+ lines of code and used global variables. The... -
8
BGINFO4X - BGINFO for X and for Windows!
Shows desktop information on your screen
BGINFO for X, also called BGINFO4X, is a clone of the popular program BGINFO for Microsoft Windows created by Sysinternals. BGINFO4X is designed for pretty print useful information (CPU model, Hostname, IP address, OS version, Office version, and much more ...) on your desktop background or wallpaper. See the screenshots to see BGINFO4X in action. BGINFO4X is Multi Platform (Windows, MacOSX, Linux, BSD). BGINFO4X is Highly Customizable. BGINFO4X is Open Source. BGINFO4X comes... -
9
Jlint
Static analyzer for Java bytecode
Jlint will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis on the code and building the lock graph. Jlint is fast, easy to learn, and requires no changes in the class files to be checked. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
gcRadar
A library for monitoring the garbage collection of app objects
gcRadar is not a static code anayser but it is a library using which is ment to beused in your source code and it will monitor and report the lifetime events of yuor objects. gcRadar can provide this information by using callbacks, log4j & polling. gcRadar can monitor entities ranging from individula objects to full object trees comprising of is-a & has-a relationships. -
11
Felix Felicis
Felix Felicis (aka liquidluck) is a static blog generator in python
LiquidLuck is an open-source static site generator powered by Ruby, originally built to enable fast, flexible blog and documentation sites with modern features such as Markdown authoring, custom taxonomies, tags, collections, and theming. It is similar in purpose to Jekyll, Hugo or Hexo, but emphasizes ease of customization and rich templating, allowing authors to define custom content models and build plug-in extensions. -
12
-
13
NetStress-NG
NetStress is a DDoS and network stress testing tool.
Syn Flood Attacks SYNFlood with static source port SYNFlood with random source port SYNFlood with static source ip address SYNFlood with random source address SynFlood with fragmented packets ACK Flood Attacks ACK Flood with static source port ACK Flood with random source port ACK Flood with static source ip address ACK Flood with random source address ACK Flood with fragmented packets FIN Flood Attacks FIN Flood with static source port FIN Flood with random source port FIN Flood with static source ip address FIN Flood with random source address FIN Flood with fragmented packets UDP Flood Attacs Static source port udp flood UDP flood with random source port UDP Flood with static source ip address UDP Flood with random source address UDP Flood with fragmented packets ICMP Flood ICMP Flood with all options random(source ip, icmp type, code) HTTP Flood ... ... -
14
Z-Pharo CMS
Full Powerful & Customized PHP CMS Its Just Plugins to start !
[Z-Pharo CMS] is a full customized php content management system .. it's very light,small package,pluggable every thing in it is just plugins so you can create any web application you want -
15
DiffReport
Code Difference report
Often I have seen some Huge Maintenance Projects it is always very difficult to track the incremental files for each release and If we want to do that we need to checkout both the branches and use some UI based tool to get the diff of the files finally we end up waiting in front of the PC for a long time and do this job. In many cases we spend more than 2 hrs/day. The time increases if there are more such parallel releases and at the end of the day 1 developer does it as full time job and... -
16
OopJs
Native Java-like Script for Modern Browsers
OopJs provides a set of functions for developing javascript applications using a class-based structure. This framework allows you to add properties and methods to the class itself (static), instances of a class (public), and even the package it resides in (internal). Supported by most modern browsers. -
17
gChartToolPHP
A PHP Wrapper for the Google Chart Tool Class
gChartToolPHP provides a simple, comprehensive wrapper to easily produce Google client-side charts. graphs and tables using only PHP code, and embed them in your own pages. It provides support for all the current Google chart formats including the more complex charts such as bubbles, gauges and scatter charts. In addition, a Google Toolbar can be added to the chart to allow easy export of the data Data can be supplied to the chart in the following ways: 1. Static data sets... -
18
GhettoGirl's Awesome File Dialog for Qt4
Open/Save File Dialog for Qt4 (Cross-platform)
This is an 100% custom File Dialog for Qt4, so only based on a QDialog, not QFileDialog. It's still in development and doesn't work correctly, and there is still many to do. INFORMATION: I will release the source code with version 0.5 or upper and if the dialog is stable enough. NOTE: That I can only provide Linux 64bit Binaries, so you need to download the source code and compile it yourself if you want to have an separate library. I recommend a static lib. To Do: - Add/Fix Panel hiding (Places, Preview, Custom Widget) - Add sorting "by name/date/type/size" - Add a possibility to return an array of files, not just only one file - Add an browsing history to go back and forward (go one directory up works, but buggy) - Add a possibility to turn of the completer, because it is slowly - Add an bookmark feature (an blank button is already added) - Add an icon management (hide, left, right, bottom or upper the file name) - Customize the places panel - Add an search function -
19
AWK~plus is the next generation script practice environment. The AWK Language specifications and a main extension of GNU GAWK. Combination of Dynamic and Static typing. Parallel computing that a lock is free, and is thread safe at a language level.
-
20
Java Dynamic Component Framework
This is a lightweight java dynamic component framework
This lightweight dynamic component framework, implemented in Java in a first time uses no code generation at all but uses only contracts. Contracts are expressed using simple software mechanism as interfaces and/or reflection (from middleware to application). A single small jar hosts the code dedicated to data, event and services management over the network, using contracts, reflection and generics. The main goal of the Java Dynamic Component Framework (jdcf) is to simplify the writing... -
21
AdLint Goodies
Utilities for AdLint the source code static analyzer
AdLint Goodies is a collection of miscellaneous utilities for AdLint. All goodies are written in Ruby and available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby. -
22
pykb
Python Killboard Platform for EVE Online
This platform provides a Python based killboard backend supporting common tasks such as interfacing with the EVE API to fetch killmail logs, interact with EDK killboards to fetch killmails from them and parse manually logged killmails. The database layer is generic thanks to SQL Alchemy so any dbms can be used. Static data and schemas for PostgreSQL and MySQL are provided. Aggregates exist along with code to maintain them to enable high speed reports for summarized data. A point... -
23
Octopress
Octopress is an obsessively designed framework for Jekyll blogging
Octopress is a blogging framework built on top of Jekyll, designed to make static site generation easier and more attractive for developers. It provides a theming system, plugins, and prebuilt templates for blogs that are responsive, SEO-friendly, and customizable. Octopress simplifies common tasks like syntax highlighting for code snippets, social sharing integration, and deployment scripts for publishing to GitHub Pages or other static hosts. It emphasizes a developer-centric workflow,... -
24
Eclipse Plug-In that determines the Minimal Access Modifier of Java types and methods project and computes the software metrics Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM). The Minimal Access Modifier of a Java type or type member is the most restrictive access modifier that is able to allow all actual usages of the particular type or member from inside a given code base (normally the entire source code of...
-
25
NodeCom is an open-source component framework for extremely constrained WSN. This project sourceforge is under construction. The code will be added soon. See our laboratory web page: http://domus.usherbrooke.ca/