Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
Airlock Digital - Application Control (Allowlisting) Made Simple
Airlock Digital delivers an easy-to-manage and scalable application control solution to protect endpoints with confidence.
For organizations seeking the most effective way to prevent malware and ransomware in their environments. It has been designed to provide scalable, efficient endpoint security for organizations with even the most diverse architectures and rigorous compliance requirements. Built by practitioners for the world’s largest and most secure organizations, Airlock Digital delivers precision Application Control & Allowlisting for the modern enterprise.
refile is a file renamer which provide a new way to rename files, by concatenation of part which come from the old file, from fixed string or number generator NOT by just an insert, an append or modif. complex renaming can be done in only one pass.
A simple perl script for performing full and incremental system backups, with good controll over excluding or including files by type, directory etc. Incremental backups can be emailed of-site.
Dragonfly | An In-Memory Data Store without Limits
Dragonfly Cloud is engineered to handle the heaviest data workloads with the strictest security requirements.
Dragonfly is a drop-in Redis replacement that is designed for heavy data workloads running on modern cloud hardware. Migrate in less than a day and experience up to 25X the performance on half the infrastructure.
ultraMage is a powerful dual-window file manager for Windows with many useful features like bookmarks, advanced file operations and folder synchronisation. It is still very easy to use, because the user interface is similar to that of Windows Explorer.
anny is an all-in-one platform for managing hybrid workplaces and shared resources.
For Businesses looking for a flexible solution for internal and external bookings
Enable your employees to easily book desks, meeting rooms, parking spots, equipment, and more – all in one place. With flexible rules and group permissions, you stay in full control of who can access what.
A project designed as a system to manage Simmulation groups from the ground up, along with arciving tools and message board systems within an advanced easy to use web based system.
Character-based display of NetWorker activity: tapes which are used now,current speed on them and the number of sessions on each. You can observe messages and daemon.log files in "tail -f" style.
httpFileManager is a file management script written in PHP, allowing the remote administration of files over HTTP. You may create and manage one or many Web sites. httpFileManager includes an HTML editor for the creation and maintenance of Web pages.
An alternative to jakarta project. Lightweight and simple. Reads OLE file (try at least) and parse all that looks like a text. Supports Word, Excel, RTF and PowerPoint files. Outlook planned, but not made yet.
A client-server Document Management System based on lucene as full text search engine. Allows you to scan or import documents and create virtual folders. OBSOLETE.. use Alfresco instead...
This plugin adds feature to Total Commander to browse and extract content of Xbox DVD game backups straight from PC DVD-ROM Drive, without need to create ISO image on Hard Drive first.
Perl File Indexer is a tool which can index a specific set of files, (given by a list of extensions) which you can later search using incremental search. Once a file is launched, it will be opened using the system default application for the extension.
JarBoy is a archive/packaging tool, which helps to manage, create and explore JAR archives. It could be used as command-line tool, java library or classical GUI application.
A spin-off of InstallFix which aimed to use advanced features and external definition files. After partial successes, many obstacles proved too great. However, it does offer some useful options for clearing caches and junk.
The Media File Unification Platform provides an extensible and configurable way to unificate any file base, presumeably media files like mp3. The basic function is to search for duplicates and similar files.