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
Feroot AI automates website security with 24/7 monitoring
Trusted by enterprises, healthcare providers, retailers, SaaS platforms, payment service providers, and public sector organizations.
Feroot unifies JavaScript behavior analysis, web compliance scanning, third-party script monitoring, consent enforcement, and data privacy posture management to stop Magecart, formjacking, and unauthorized tracking.
...Tired of writing always the same code for configs, login, logout, install, language-independency, sessions, templates, logging, forms for editing, searching and listing of MySql data? This Framework does it for you.
IDUX is a simple install maker for Linux.
It aims to provide minimum overhead. It uses fltk which means ony X is needed.
The files are zipped and embedded into the wizard executable.
On top of that, the wizard compresses itself. (WIth UPX)
This project will provide updated Slackware package management tools adding extra functionality such as dependency/conflict check and priority, though not losing any compatibility.
Our goal is to create an actively supported and maintained set of tools and mirrors for Solaris, allowing automated \"get & install\" of up-to-date free software.
NetDist is a configuration management/distribution solution. It can handle the distribution of configuration files to any number of hosts, can be set up to generate configuration files automatically, and provides a central location for configs.
Ka is a set of tools designed to help the installation and later the use/administration of a cluster of PC's under Linux. It currently includes a solution for the parallel installation of Linux on many machines, and tools for deploying data or launching
Striven is an all-in-one business management software suite with everything your organization needs for success.
Striven is the all-in-one business management software that lowers your costs, improves your operations, and makes work easier. Make your company’s data coherent, connected, and relevant.
UPMS is based on BSD ports system, it can be used on any FSH 2.x Linux compatible distribution. UPMS have two level of dependencies checking, required and suggested. This two levels makes UPMS to tune all of the packages to optimal or minimal, depend on
A minimal linux rescue distribution with the goals of being small, compatible and very usable. Features as a cozy shell and a multitude of partition rescue/editing tools all based on up-to-date releases like 2.4.x kernel with USB support etc.
GNUpdate is a set of libraries and tools that provide universal package management on Linux systems, allowing any distribution to install packages from other distributions, as well as updating the system with the latest versions of installed packages.
Data Evolution for Java. Finch is a Data Transformation System based on JDBC and other Java blessed specifications. Finch is based on a component task architecture allowing users to create complex data manipulation jobs.
DOSConf is an installer to install, update, repair, remove and create installation and patch package. It will be developed for DOS / Win32 platforms and in the future for another operating systems, like Linux.
RPM Wizard is an installation program for RPM packages. Using a wizard interface, it makes installing easy even for beginners. With features such as automatic dependency handling, it aims to become the most easy-to-use RPM installation program.
Ports for building and installing GNOME on CRUX GNU/Linux, or other distributions using Per Lidén's pkgutils package system. Highlights of these ports include removal of gtk-doc/NLS and no stray files during the build process.
The Configuration package is a thin, JDK independent, bridge between different configuration libraries and approaches such as properties files, XML and JDK 1.4 Preferences.
This program is a installer for KDE sourcefiles. It compiles the code for you so as you need it. It's for UNIX like operating systems. programmed with python.
Mondo Rescue is a GPL suite designed to create disaster recovery or cloning physical or virtual media from which you'll be able to boot in order to restore or clone your original system. It does that in an automatic or interactive way allowing modifs
AutoInstaller is a program which can install and uninstall programs based on the decision of plug-ins. These could include by schedule, at user demand, or a more complex scenario. It uses plug-ins to handle tar.gz, tgz, zip, and rpm files.
LRSR / Linux Restore ScRipt is a command line (Bash/Perl) script for restoring system information. LRSR also can be edited to create "Mini" distros from a pre-existing UNIX/Linux computer.
Extended Slackware package management tools, added new features like those in other distro's package tools (ie rpm, deb, slp, etc..) and provide multiple interfaces including console, Gnome, and KDE.
YAIAL is a distro of Linux for diskless Internet appliances (the IOpener and WebPlayer initially) with at least 16 MB of storage.
Features: USB and ppp networking, X server, web browser, modifiable, 2.4.17 kernel.