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
Curtain LogTrace File Activity Monitoring
For any organizations (up to 10,000 PCs)
Curtain LogTrace File Activity Monitoring is an enterprise file activity monitoring solution. It tracks user actions: create, copy, move, delete, rename, print, open, close, save. Includes source/destination paths and disk type. Perfect for monitoring user file activities.
TraffStats: network Traffic Statistic - is a monitoring and traffic analysis software, using SNMP to collect data from any enabled device. - has the ability to generate graphs (using jpgraph) with the option to compare and sum up different devices.
Logpp is a tool for preprocessing event logs and feeding relevant data to other programs for storing or in-depth analysis. Logpp reads lines appended to input files, matches the lines with patterns, and writes the results to given destinations.
Advisory Check is a tool for monitoring the security of installed software.
It gathers security advisories using RSS/RDF/XML feeds, compares them against a list of known software, and alerts you if you're vulnerable.
Let advchk read advisories for you!
GroundWork Foundation is an IT management data abstraction layer and development platform.The Foundation data model allows the integration of any state, event, and performance data running in a Web container.It comes with an XML enabled feeder framework.
A LDAP based cluster control system that allows the deployment and administration of heterogeneous clusters. An extremely generic framework designed to be extended as required by administrators for each cluster.
A PHP script for aggregating multiple Nagios instances into one consistent view. Using AJAX technology for presenting data to users and. Supports locales.
Solve Your Real-world Business Challenges From A Single Timesheet With Powerful Built In Integration
Timecontrol Is Your Multipurpose Timesheet Software
TimeControl is a multi-purpose timesheet system designed to serve both Finance and Project Management. TimeControl has been designed to serve many purposes simultaneously. TimeControl tracks time on a task-by-task, project-by-project basis. Yet, despite its project-based controls, it remains a financial timesheet with all the controls necessary to fulfill the stringent needs of payroll, human resources, billing and finance. TimeControl is available both for subscription in the cloud or for purchase for an on premise installation and includes both a browser interface and the free TimeControl Mobile App for iOS and Android devices.
Lighweight Universal Log or Network Analyzer is a Open Source project (written in Perl) with the intention of creating a logsystem which is capable of creating statistics out of the files.
viewstate is a decoder and encoder for ASP .Net viewstate data. It supports the different viewstate data formats and can extract viewstate data direct from web pages. viewstate will also show any hash applied to the viewstate data.
Daemon who monitor hosts and network equipment every minute and store data for other monitoring software collect fast. Great add-on for NMIS (Network Management Information System, http://nmis.sourceforge.net) for improve collect time.
fwblocker is a script used to parse syslog files for SSH, pure-ftpd and iptables entries. It will generate statistics but it's main feature is to lock out IP addresses that used a wrong username/password to log into your SSH or FTP Server.
...EVERY configurable feature and option listed in the user manuals, are configurable with NagiosCFG. NagiosCFG gives the users the ability to easily add/remove/edit items in the Nagios 2.x config files.
Nodemon is a visualization tool for monitoring system resource utilization. It was developed for monitoring the Columbia supercomputer, a 10,240-processor Linux system at NASA Ames Research Center. It can monitor resources on any Linux system or cluster
The first stage of development is do write a tool to anonymize packet capture files captured with libpcap. After that we will be integrating this with tcpdump to anonymize in real-time and analyze and look for its effect on different IDS's.
JavaSock provides a combination Java API and native code library allowing Java programs to manipulate raw network packets through a consistent and secure interface. The API supports applications including packet filtering and packet sniffing.
A lightweight PHP webapp designed for system administrators to track and monitor IP-based equipment. It's basically a dynamic inventory list, but has many additional features. It's suited well for anything from SOHO to whole data centers.
OpenBAM is a Business Activity Monitoring(BAM) application for Operations Managers in service organizations who are constantly trying to figure out what's effecting their business by trying to co-relate data from multiple systems.
Get an up-to-date view of what's happening in your social network. You can browse based on specific keywords (tags) and see who's talking about what in your proximity.
Informationprovider (Sensor) for Geolocation and Maintenance data. The provider is able to publish geolocation data as well as maintenance messages and site descriptions to a Globus MDS4 grid information system.
Fast and small InfiniBand monitoring tool. Discovers topology, collects counters, and reports errors. Can also be used for long term data collection as well.