SofCheck Inspector 2.1268
Updated on 16 Jul 2011
By Anthony Buckner
By Anthony Buckner
49 MB Safe To Install
Advertising
Specifications
License:
Time-limited trial (Free to try)
Updated:
Downloads:
229
Platform:
Windows XP / 2003
Publisher:
SofCheck, Inc.(more)
Website:
Unknown
User Reviews:
Other versions:
Do you like
SofCheck Inspector?
SofCheck Inspector?
Publisher's Descriptions
SofCheck Inspector is a static error detection tool that automatically identifies possible programming errors and verifies logical correctness, without relying on labor-intensive run time testing. It integrates into existing development tools and processes.
SofCheck Inspector performs line-by-line testing in a fully automated way, and guarantees full path coverage. SofCheck Inspector finds defects early in the development process-in conjunction with compilation-when they are least costly to repair. In addition, it may be run on existing code to find latent defects before they become a problem in the field.
SofCheck Inspector will support large systems and detect a wide range of programming errorssuch as misuse of pointers, indexing out of arrays, buffer overflows (a prevalent source of security storage leaks,) numeric overflows, numeric wraparounds, and improper use of Application Programming Interfaces (APIs). It pinpoints the root cause of each error down to the source line of code.
Even in the absence of explicit errors, SofCheck Inspector provides a thorough characterization of every component of the system in terms of its inputs, outputs, heap object creations, the preconditions on the inputs necessary to preclude run-time failures, the presumptions about return values of external methods, and the postconditions that characterize the range of outputs.
An inspection may be launched from the command line or interactively, using the SofCheck Inspector Console.
· SofCheck Inspector runs on servers with the Intel x86, Intel x64, Sun Sparc, and Sun x64 CPUs
· Static error detection is complex and time consuming, and will benefit from all the speed (CPU) and memory (RAM) that can be made available.
· Dual core 2.0 GHz or greater CPUs can inspect about 1,000 lines of code per minute.
· SofCheck recommends 2 GB of RAM or more. More complex inspections will require more memory. Four GB of RAM is a practical limit for many 32-bit operating systems.
· Most 64-bit operating systems can take advantage of more than 4 GB of physical RAM, if available.
SofCheck Inspector performs line-by-line testing in a fully automated way, and guarantees full path coverage. SofCheck Inspector finds defects early in the development process-in conjunction with compilation-when they are least costly to repair. In addition, it may be run on existing code to find latent defects before they become a problem in the field.
SofCheck Inspector will support large systems and detect a wide range of programming errorssuch as misuse of pointers, indexing out of arrays, buffer overflows (a prevalent source of security storage leaks,) numeric overflows, numeric wraparounds, and improper use of Application Programming Interfaces (APIs). It pinpoints the root cause of each error down to the source line of code.
Even in the absence of explicit errors, SofCheck Inspector provides a thorough characterization of every component of the system in terms of its inputs, outputs, heap object creations, the preconditions on the inputs necessary to preclude run-time failures, the presumptions about return values of external methods, and the postconditions that characterize the range of outputs.
An inspection may be launched from the command line or interactively, using the SofCheck Inspector Console.
System Requirements
· SofCheck Inspector runs on servers with the Intel x86, Intel x64, Sun Sparc, and Sun x64 CPUs
· Static error detection is complex and time consuming, and will benefit from all the speed (CPU) and memory (RAM) that can be made available.
· Dual core 2.0 GHz or greater CPUs can inspect about 1,000 lines of code per minute.
· SofCheck recommends 2 GB of RAM or more. More complex inspections will require more memory. Four GB of RAM is a practical limit for many 32-bit operating systems.
· Most 64-bit operating systems can take advantage of more than 4 GB of physical RAM, if available.
Do you like SofCheck Inspector
SofCheck Inspector Disclamer
Please be aware FindMySoft.com accepts no responsibility for the file you are downloading. The same applies to the information provided about the software products listed.
We do not allow the inclusion of any SofCheck Inspector serial, keygen or crack and we disclaim any liability for the inappropriate use of SofCheck Inspector.
FindMySoft advises that SofCheck Inspector should be only used in accordance with the rules of intellectual property and the existing Criminal Code.
For your own protection ALWAYS check downloaded files for viruses.
We do not allow the inclusion of any SofCheck Inspector serial, keygen or crack and we disclaim any liability for the inappropriate use of SofCheck Inspector.
FindMySoft advises that SofCheck Inspector should be only used in accordance with the rules of intellectual property and the existing Criminal Code.
For your own protection ALWAYS check downloaded files for viruses.
Advertising
Popular News
The free AboutOne app is currently exclusive to Windows Phone. The app is available for free in the Markeplace.
Google rolled out Chrome 19 to the Stable Channel. This version fixes some security problems and adds tab syncing capabilities.
Your Rating
3.0
out
of
5
of
5
Rated By
2 Users
2 Users
Top Downloads
2.
Opera5.
Trillian8.
AIM9.
Skype10.
Ad-Aware12.
Nero13.
Google Earth14.
Picasa15.
Winamp16.
iTunes17.
RealPlayer18.
uTorrent19.
eMule20.
WinRAR21.
BitComet22.
WinZip23.
Shareaza24.
CCleaner25.
Recuva26.
Tweak UI27.
CuteFTP Home29.
Adobe Reader30.
NewsPiperBecome A Fan!
Link To Us!
SofCheck Inspector
HTML Linking Code
HTML Linking Code
Latest Reviews