SLAyer (Separation Logic Analyzer) is a memory safety checker designed to verify that its input C code doesn't deference dangling pointers, do double frees, nor leak memory.
<strong>Using the tool
To run on a test, say cleanup_isochresourcedata_remove_head_list.c that mallocs and then frees a PLIST_ENTRY list, execute this in a cmd shell:
C:\> cd C:\SLAyer
C:\> cd test\kmdf\1394\cleanup_isochresourcedata_remove_head_list
C:\> slayer cleanup_isochresourcedata_remove_head_list.c
On exit, SLAyer prints a "RESULT: SAFE" message, and leaves several output files (the program's internal representation in dot format, a counter-example in defect.tt format, etc).
for WindowsXP, 2003, Vista, 2008, 7
Platforms:Windows, Windows XP, Windows Vista, 2003, 2008, 7
Reciprocal Link Checker Software enables webmasters to check the full status of unlimited reciprocal links for potential problems. On each page, many useful checks are made. Check your reciprocal link status in real-time. Desktop application. Create multiple
SEO Rank Checker is a free tool you can use to check the rank of any keyowords for any web site on Google, Yahoo and MSN. It's simple to install on your web site, just unzip, upload, and enjoy!
Domain Checker is a domain name availability-check (whois) tool. You can verify multiple domain names at once. This version supports 80 top level domains such as COM, NET and ORG. Some of the features: 2-char, 3-char, 4-char and multi-char domain check
Domain Backlinks Checker is a freeware tool that enables you to check the number of Backlinks pointing to your website as seen by the six major search engines - google, Yahoo, MsN e.tc. Good link popularity can dramatically and effectively increase traffic
The Desktop Domain Checker is a program tha allows you to check for check for available domain names from the desktop.
A spell checker application to easily spell check text as well as put in some simple html features and then send it off to your favorite application. Allows other developers to easily integrate this editor into their applications with intents.
PrintCapture is a reliable program that will allow you to capture the printer or plotter hardcopy output from your logic analyzer, oscilloscope or spectrum analyzer. It processes raw HPGL (Hewlett Packard Graphics Language), PCL (Printer Control Language)
Freeware batch checker/manager of SFV filesets, check, create, maintain, copy, move and zip support. Set up one or more path (or launch from Windows Explorer) and SFVManager finds all sfv's, checks them and allows you to perform batch operation on the
Keywords Machine is a FREE keyword rank checker software designed to automatically check your search engine position ranking for any keyword in the major search engines and get an advanced report including related keywords. What?s more, this FREE keyword
MyCheckPro is a check payment system for Microsoft Windows. Using MyCheckPro, you can print a substitute of your customer's check using an inkjet or laser printer. This substitute check can be deposited in your local bank, without any special bank account
Most popular Software Development
Reactor Robot automates the delivery of license files to your customers for Eziriz .NET Reactor protected applications, removing administration effort and processing errors, providing quick delivery and an improved customer purchase experience. Reactor
BLUETOOTH(R) Framework X(tm) is an easy-to-use communication library for C++, VB, VB.NET, C# and other developers which will allow to your applications communicate with mobile devices through BLUETOOTH(R), IrDA or Serial interfaces.
Make it possible
Use your Pascal programming skills to develop fully functional Java games and applications for your mobile phone. Midlet Pascal compiles Pascal functions and objects directly into Java bytecode which can be used on any Java supported mobile phone. Some
Demo application enrolls and identifies fingerprints from supported fingerprint scanners or image file, and can calculate ROC with custom fingerprint databases. Fingerprint recognition technology and software for PC and Mac. Fast matching (40,000 fingerprints
FlippingBook page flip flash component is intended for page flipping and supports Flash MX and Flash MX 2004 authoring tools. You may get the component ready to work in just a few seconds right from the development environment.
The component supports
Visual Prolog7.0, Build 7004 Persional Edition
Visual Prolog is a logical programming language that counts PDC Prolog and Turbo Prolog as predecessors.
The goal of Visual Prolog is to support industrial strength programming of complex knowledge
BotVerify is a server side COM component that allows you to prevent automated registrations on your web site - (known as CAPTCHA™).
1. Over 50 CAPTCHA styles.
2. Over 10,000 variety of CAPTCHA output textures.
3. Custom CAPTCHA key
MultiPowUpload - multiple files upload component. It is easy client-side solution that can be used to perform file uploads from a user machine to the web server. MultiPowUpload is a Macromedia Flash movie supported by most browsers and needs just Flash
GrFinger SDK is a groundbreaking fingerprint recognition Software Development Kit (SDK) that allows you to integrate biometrics in a wide variety of applications. Thanks to its support for dozens of programming languages, richness of code samples, and
Microsoft SLAyer Author's Software
TLA+ Tools is a useful collection of utilities and components that includes a program for typesetting TLA+ specifications, a simulator and model checker addressing a subclass of "executable" TLA+ specifications.
Inside the TLA+ Tools package
Microsoft Research Mood Board is a useful application that encourages creative activities by providing a simple means of finding images and stitching them together in a collage.
With Microsoft Research Mood Board you can find digital pictures
Microsoft Research Face SDK Beta for Windows Phone brings forth the latest face technologies developed by Microsoft Research.
This SDK offers users state-of-the-art algorithms for processing facial images, like face detection, tracking, alignment
Project Hawaii SDK is a useful toolkit that contains all the needed utilities and services developers need to build apps for Windows Phone.
The applications that can be created with the help of Project Hawaii SDK will be able to use Azure for
Sora SDK is a Software Defined Radio platform development toolkit that is especially aimed at those interested in the creation of a wireless platform.
The toolset is equipped with everything one would need to experiment with programmable communication
Microsoft Accelerator was developed to be a high-level data parallel library which uses a DirectX 9 graphics processor (GPU) to accelerate code execution. It is designed to allow easy development of array-processing operations such as those which frequently
The library enables programmers to write code inside Internet Explorer and create programs that
TLA+ is a specification language that is designed to help in the creation of high-level specifications for both distributed and concurrent systems.
TLA Toolbox is the IDE that was designed in order to allow you to use the TLC model checker
Mañana Mail is a useful Outlook add-in that was designed in order to help you enhance the functionality of your e-mail client by adding a scheduling component.
As soon as Mañana Mail is installed, you will be able to have your
Management of Access Control in the Enterprise is a handy utility that is aimed at system admins. The purpose of the application is to facilitate data collection and it can target one or more servers.
After the information is gathered, administrators