Verifier

XJML is a simple, accessible and useful tool that can actually read one Java class and its contract (written in XML) and then execute the a verification technique. The following verification technique is executed: · Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. · Extended...

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

Django honeypot field utilities django-honeypot is a Django plugin that provides utilities for preventing automated form spam. Provides template tags, view decorators, and middleware to add and verify honeypot fields to forms. Installation To install run python setup.py install which will...


Platforms: *nix

CGIStress was created using the Python programming language in order to allow developers to assess the vulnerability of their software to malicious DoS attacks. Now you can use of this handy instrument to make sure your applications are well secured.


Platforms: Windows

Java Class and Byte Code verifier. Verifies static class file structure, external references, analyzes operand stack and local variables through byte code execution emulation. Includes CLDC standard verfication.


Platforms: Windows, Mac, Linux

libzenstone was designed as an Open Source library that allows the user to check the battery level and set the volume limit of the Zen Stone MP3 player. It is also a simple example of how to communicate with USB mass-storage device with libusb.


Platforms: Windows

Windows *.ini file verifier, tidier and sorter. Tidies and sorts windows *.ini files, ones that look like this: [section] ; a comment item=value; To use: java.exe -jar ini.jar C:somedirsomefile.ini UTF-8 Where UTF-8 in the encoding. Opera uses UTF-8. You can leave it to the default for most...


Platforms: Windows, Mac, Java, Linux, Unix

A GDSII database parser and stream integrity verifier


Platforms: Windows, Mac, Linux

SourceDoc was built as an accessible and handy system for automatic creation, extraction, and verification of embedded documentation. SourceDoc was designed for C code, it features both a C parser and a preprocessor. The default output format is HTML, but other formats are possible to plug in...


Platforms: Windows

This is repoze.who plugin for authentication via Mozilla's BrowserID project: https://browserid.org/ It supports verification of BrowserID assertions using the PyVEP client library. Currently PyVEP defaults to posting assertions to the browserid.org verifier servive, but it also has...


Platforms: *nix

Checksum-Aide is a utility used to generate hash codes (or checksum codes). You can use this tool to verify that a program you downloaded from the internet has not been corrupted or tampered with. If you are a developer, you can use this tool to generate your own hash codes so that your user...


Platforms: Windows, Windows 8, Windows 7, Windows Server