FileHeap - Freeware, Shareware, Demo, Game Files Download

Navigation: Home / Software Development

Microsoft SLAyer v1.0 by Microsoft Research

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
</strong>
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:\> setup.cmd
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

Type:  Shareware
Tags:  Microsoft, SLAyer, Memory, Safety, Checker, Separation, Logic, Analyzer, Check

Software Info

Released: Language:English Platforms:Windows, Windows XP, Windows Vista, 2003, 2008, 7 Install:Install

Add Your Review

Name *
Email
Rating *
1=poor                              10=excellent
Review *
Verification Code *
  Captcha verification code

 

Related Software

Reciprocal Link Checker Software enables webmasters to check the full status of unlimited reciprocal links for potential problems.
WEBLinksV Reciprocal Link Checker 1. 5. 2020 download by Dev-WebTools 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
Type:Shareware     Released: 07/23/2012;    Filesize: 13.3 MB;    Price: USD $39.95; Download
SEO Rank Checker 2.1 download by www.Search-Engine-Optimized.com 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!
Type:Freeware     Released: 01/02/2006;    Filesize: 2.8 KB;    Price: USD $0.00; Download
Domain Checker is a domain name availability-check (whois) tool.
Domain Checker 2.1 download by VOVSOFT 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
Type:Shareware     Released: 02/14/2017;    Filesize: 1.4 MB;    Price: USD $9.99; Download
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.
Domain Backlinks Checker 1.0 download by Cheap domain names 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
Type:Freeware     Released: 04/19/2012;    Filesize: 1.3 MB;    Price: USD $0.00; Download
Desktop Domain Checker 1.0 download by premiumhunter.com The Desktop Domain Checker is a program tha allows you to check for check for available domain names from the desktop.
Type:Freeware     Released: 07/04/2012;    Filesize: 125.0 KB;    Price: USD $0.00; Download
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.
Spell Checker Editor 1.23 download by Flipdog Solutions, LLC 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.

This

Type:Freeware     Filesize: 1.7 MB;    Price: USD $0.00; Download
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.
PrintCapture 4. 1. 2000 download by F&F SoftTools 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)
Type:Shareware     Released: 07/07/2012;    Filesize: 1.8 MB;    Price: USD $97.00; Download
Freeware batch checker/manager of SFV filesets, check, create, maintain, copy, move and zip support.
SFVManager 1.2.2 download by Triceptual Systems Ltd 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
Type:Freeware     Released: 11/23/2004;    Filesize: 1.3 MB;    Price: USD $0.00; Download
Keywords Machine is a FREE keyword rank checker tool 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 vs competitors websites.
Keywords Machine 2.0 download by EgyFirst Software, inc. 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
Type:Freeware     Released: 02/25/2014;    Filesize: 512.0 KB;    Price: USD $0.00; Download
MyCheckPro is a check payment system for Microsoft Windows.
MyCheckPro 2.0.100 download by Cabera LLC 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
Type:Shareware     Released: 10/26/2006;    Filesize: 32.1 MB;    Price: USD $119.99; Download

Most popular Software Development

Reactor Robot automates the delivery of license files to your customers for Eziriz .
Reactor Robot 3.0.1.0 download by EarthSoft 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
Type:Shareware     Released: 04/08/2007;    Filesize: 1.0 MB;    Price: USD $55.00; Download
BLUETOOTH(R) Framework X(tm) is an easy-to-use communication library for C++, VB, VB.
BLUETOOTH(R) Framework X 5.2 download by Soft Service Company 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
Type:Shareware     Released: 04/12/2007;    Filesize: 935.0 KB;    Price: USD $200.00; Download
Use your Pascal programming skills to develop fully functional Java games and applications for your mobile phone.
MIDlet Pascal 2.01 download by Mobile Experts Group 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
Type:Shareware     Released: 10/23/2005;    Filesize: 1.7 MB;    Price: USD $39.00; Download
Demo application enrolls and identifies fingerprints from supported fingerprint scanners or image file, and can calculate ROC with custom fingerprint databases.
VeriFinger Algorithm Demo for MS Windows 5.0 download by Neurotechnologija 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
Type:Demo     Released: 12/27/2006;    Filesize: 39.7 MB;    Price: USD $439.00; Download
FlippingBook page flip flash component is intended for page flipping and supports Flash MX and Flash MX 2004 authoring tools.
Flash page flip component 1.8.6 download by FB Media Solutions 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
    Released: 01/04/2005;    Filesize: 166.0 KB;    Price: USD $25.00; Download
SourceFormatX is a professional source code formatter, source code beautifier for C, C++, Java, C#, Delphi, Object Pascal, PHP, ASP, JSP, VB, VB.
SourceFormatX Source Code Formatter 2.56 download by Crossbow Software SourceFormatX is a powerful multi-language source code formatter and source code beautifier to format, indent and beautify C, C++, Java, Object Pascal (Delphi), C#, PHP, ASP, VB, VBNET, VBScript, JavaScript and HTML Components source code with customizable
Type:Shareware     Released: 09/18/2006;    Filesize: 983.4 KB;    Price: USD $36.99; Download
Visual Prolog 7.
Visual Prolog 7.0.7004 download by Prolog Development Center A/S 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
Type:Freeware     Released: 03/25/2007;    Filesize: 18.9 MB;    Price: USD $0.00; Download
BotVerify is a server side COM component that allows you to prevent automated registrations on your web site - (known as CAPTCHA™).
BotVerify for ASP 2.00 download by i-Din Digital Works BotVerify is a server side COM component that allows you to prevent automated registrations on your web site - (known as CAPTCHA™). Features 1. Over 50 CAPTCHA styles. 2. Over 10,000 variety of CAPTCHA output textures. 3. Custom CAPTCHA key
Type:Shareware     Released: 04/24/2007;    Filesize: 2.7 MB;    Price: USD $49.00; Download
MultiPowUpload – file upload component.
MultiPowUpload 1.7 download by Element-IT Software 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
Type:Freeware     Released: 04/15/2007;    Filesize: 351.1 KB;    Price: USD $0.00; Download
GrFinger SDK is a groundbreaking fingerprint recognition Software Development Kit (SDK) that allows you to integrate biometrics in a wide variety of applications.
GrFinger Biometric SDK Trial 4.2 download by Griaule Technology 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
Type:Demo     Released: 06/16/2006;    Filesize: 15.2 MB;    Price: USD $45.00; Download

Microsoft SLAyer Author's Software

TLA+ Tools 2.1.4 download by Microsoft Research 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
Type:Shareware     Price: USD $0.00; Download
Microsoft Research Mood Board 1 download by Microsoft Research 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
Type:Shareware     Price: USD $0.00; Download
Research Face SDK for Windows Phone 2.0.1 Beta download by Microsoft Research 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
Type:Shareware     Price: USD $0.00; Download
Project Hawaii SDK 2.1 download by Microsoft Research 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
Type:Shareware     Price: USD $0.00; Download
Sora SDK 1.8.0 download by Microsoft Research 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
Type:Shareware     Price: USD $0.00; Download
Microsoft Research Accelerator 2.2 Preview Release 3 download by Microsoft Research 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
Type:Shareware     Price: USD $0.00; Download
Kinect in the Browser 1.0.0.6 download by Microsoft Research Kinect in the Browser is a useful component that was especially designed to help you develop web apps using JavaScript right from your browser.

The library enables programmers to write code inside Internet Explorer and create programs that
Type:Shareware     Price: USD $0.00; Download
TLA Toolbox 1.4.4 download by Microsoft Research 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
Type:Shareware     Price: USD $0.00; Download
Ma+-ana Mail 1.1.0.13 download by Microsoft Research 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
Type:Shareware     Price: USD $0.00; Download
Management of Access Control in the Enterprise 1.0.0 download by Microsoft Research 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
Type:Shareware     Price: USD $0.00; Download