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.
Linux program for writing Microsoft compatible boot records. This program does the same as Microsoft "fdisk /mbr" to a hard disk or "sys d:" to a floppy or FAT32 partition except that it does not copy any system files, only the boot record is wri
Self Integrated DNS DHCP Server Open Source Freeware Windows/Linux. Works as DHCP or DNS Server or both. Using both services automatically adds DHCP allotted hosts automatically to DNS Server. Support Relay Agent, PXEBOOT, BOOTP, Zone Trasfer, DHCP Range Filters. Download.
The odikadhcpd server is an open source dhcp server that works behind a relay dhcp. It couldn't be installed in front of a dhcp client. It is designed to respond to Telco providers or enterprises needs, which want a centralized dhcp server solution.
* hooks for pre-process and post-process dhcp request
* modular solution with referential in file,ldap,mysql and lease in mysql
* support customize referentiel and lease solution
* support integration of lease database with powerdns...
MultiThreaded TFTP Server Open Source Freeware Windows/Unix for PXEBOOT, firmware load, support tsize, blksize, timeout Server Port Ranges, Block Number Rollover for Large Files. Runs as Service/daemon. Single Port version also available. Download
Built by an estimator, SharpeSoft Estimator is a fully comprehensive software that allows for a more efficient and quicker job-winning bids. Ideal for civil, utility, heavy/highway, grading, excavating, paving, and pipeline contractors, SharpeSoft Estimator offers advanced features such as Item Master, Subcontractor Comparison, Materials Comparison, Grouped Items, Trench Profiler, Haul Calculations, What-if Scenarios, Batch Reports, and more.
Portable System for installing many Linux Distros on to a Pen drive
This project provides a Live DVD for the multibootusb program, for installing multiple Linux Distros on to a single Pen drive and able to boot from it. This is a portable system, which does not require any installation. Video Below.
This system can be started through the DVD Drive OR VirtualBox (See Below). This .iso file can also be written on to a small dedicated pen drive ( ~ 1 GB ) through this DVD's multibootusb program and further used for writing linux images on to other pen drives...
Kernelloader is a free bootloader for PS2 Linux and other Playstation 2 operating systems. Loading can be done by "Action Replay Media Player", by "memory card exploit", by "FMCB" or any other homebrew loading method.
If you downloaded the latest Linux Live DVD, you need to run the online updater to be able to play Youtube videos.
A web based GUI for managing PXE boot and optionally managing DHCP service. Also supports creating and serving Kickstart and preseed scripts. This provides a client install in one click. This is a generic framework created to work with anything that's PXE bootable.
Adding new hosts can be done via "PXE enrollment" where the client PXE boots to enroll into OneClickKick.
Easily integrated with existing naming sources such as NIS and LDAP for central lookup of host and mac address...
Repair the bootsector of Windows XP MBR. If restoring an image (e.g. clonezilla) to a different partition (sector) you won't be able to boot. This python-script (only linux) will repair the start position in the boot-sector of your windows partition.
Dibbler is a portable DHCPv6 implementation. Is supports stateful (i.e. IPv6 address granting) as well as stateless (i.e. option granting) autoconfiguration for IPv6. Linux 2.4/2.6/3.0, Windows XP/2003/Vista/7/8 (experimental for NT4/2000), Mac OS X, FreeBSD, NetBSD and OpenBSD.
Create online forms and publish them. Get an email for each response. Collect data.
Easy-to-use online form builder for every business. Create online forms and publish them. Get an email for each response. Collect data. Design professional looking forms with JotForm Online Form Builder. Customize with advanced styling options to match your branding. Speed up and simplify your daily work by automating complex tasks with JotForm’s industry leading features. Securely and easily sell products. Collect subscription fees and donations. Being away from your computer shouldn’t stop you from getting the information you need. No matter where you work, JotForm Mobile Forms lets you collect data offline with powerful forms you can manage from your phone or tablet. Get the full power of JotForm at your fingertips. JotForm PDF Editor automatically turns collected form responses into professional, secure PDF documents that you can share with colleagues and customers. Easily generate custom PDF files online!
This software boots your PC and analyse your filesystems. It displays a graphical menu for you to select which system to boot. Intended to replace LILO and Loadlin, written in C with GCC, fully real mode.
Small program to run from rcNG to start/stop user processes at bootup/shutdown. A few security checks are performed and the user's rcNG scripts are run as the UID of the owner.
DongSheng Yun network laboratory network dedicated to research, development and production technology of virtual disk management system, the core product WL-iSCSI_Server is the leading virtual disk management software.
InitNG strived to replace the old System V Init completelty. It offers faster startup through parallelization, service and demon monitoring, logging facilities and a dynamic run-time dependency configuration.
Linux is an excellent environment for deploying diskless thin clients. Whether you are installing a 2nd workstation at home, 50 workstations in a CyberCafe or 500 workstations in a major university or corporation, the LTSP can help you be successful.
This is a small program that reads and writes the WakeUp time in the BIOS.
This is done via /dev/nvram on recent kernels (>2.4.6, including 2.6.x) or, alternatively, via direct ISA access.
On this WakeUp time the computer is powered on automatically.
BootRetarder allows to retard the start of some programs, so your computer boots fastly and the programs you want to be starded at the init are ran one by one separated by a defined interval of miliseconds.
SPBLinux: modular mini distribution running completely in RAM, can be booted from USB, based on Busybox and Midnight Commander, optional with DirectFB and (since version 2.1) Mozilla; it is possible to create/modify own modules inside SPBLinux.
Small Linux console getty that is started on the Linux text console, asks for a login name
and then tranfers over to /bin/login. Is extended to allow automatic login and starting any
app.
romfs is a read-only, space-efficient linux filesystem, and this is a place for test kernel patches, and user space tools to manage filesystems in this format.