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
Accounting Software Built for Owners, and Their Clients
Make invoicing and billing painless for your small business with FreshBooks.
Balancing your books, client relationships, and business isn’t easy. FreshBooks gives you the info and time you need to focus on your big picture—your business, team, and clients.
WiFiMon is a GUI-utility, based on the output of the iwconfig-command, which shows detailed information about the current status of a Wireless Network (LAN)
multi-protocol, multi-host, graphical ping utility, used to ensure a set of hosts are up and running and providing the expected services. traditional ICMP echo along with status of http, smtp, pop, etc.
This program receives SNMP traps, converts them to CORBA structured events, and pushes them to a CORBA Notification service. This program incorporates JacORB, Java SNMP, log4j, and Wrapper (for installing java apps as NT services).
Streamline proposal creation with the smartest AI, the best content, seamless integration with Microsoft Word, and unmatched efficiency.
Automate your best practices, processes, and standards to guide your proposal writers, sales teams, and subject experts. And don’t worry, it’s so easy to use they will use it. We would love the opportunity to help you quantify the impact your business can expect from investing in Expedience Software. Click here to request a Return on Investment (ROI) calculation. In this 15-minute session, we will ask 20 simple questions to assess and grade your current proposal quality and scalability. Manual proposal processes are likely costing you far more than you realize. These models waste time and kill the productivity of proposal writers, sales team members, senior staff, and subject experts.
Java Library used to connect and read data from a DStream server. Primarily for the Dark Ages of Camelot game.
Users of this library can bind actions to certain events. The event is triggered when certain packets are recieved from the server.
A VNC Client for J2ME (Java 2 Mobile Edition).
This includes a side project, an easy to use, clean java API for the RFB protocall.
This project is now dead. Please see:
https://sourceforge.net/projects/j2mevncclient/
Sniffer Server - decodes TCP streams and captures packets in general
The captured content may be saved to files or sent to a client over TCP/IP connection (self-defined protocol)
PlugProxy version is a port forwarder/port debugger written in Java.
PlugProxy is used to forward data from one TCP port to another. This is commonly referred to as "port forwarding." The purpose of this is to invisibly send a request from one site
Mars is a simple, extensible, services-oriented network status monitor written in Java. It monitors a network by simulating client connections to Internet services and reporting when those services are not responding as expected.
Dynamic Work and Complex Project Management Platform | Quickbase
Quickbase is the leading application platform for dynamic work.
Our no-code platform lets you easily create, connect, and customize enterprise applications that fix visibility and workflow gaps without replacing a single system.
MySnmpCrawler is a SNMP agent using JMX technology. It contains a lightweight SNMP protocol adaptor, MIB database, and a framework for developers to reuse the design such that new JMX MBeans can be easily built based on the specifications in the MIB file
CorbaTrace is a helpful tool for tracing communications beetween Corba objects.
Once CorbaTrace is installed, remote calls are intercepted and informations are stored in XML files. So, you will be able to apply filters and get XMI files to see the commu
Active Networking provides a framework in which executable code within data packets can execute upon intermediate network nodes. The goal of this research is to develop active networks that are capable of predicting their own behavior and to use this ca
Reduce employee personal Internet usage during the working day.
Increase respect of your corporate Internet usage policy, provide open and honest feedback such as WebMail use during work hours.
Plugs into an existing proxy or firewall such as Squid.
Finally! An extensible, cross-platform dynamic, static, or custom DNS update client! This simple Java program will keep your domain name always pointed at your computer. Supports multiple ways for obtaining IP, updating domain, and reporting errors.
AccounteX is an IP accounting system based on the IP Stat program. It has many exciting features like fully customizable web traffic accounting and user access control by many different values. information service and web statistics and administration.
HTTPPoll is a website monitoring and alert program, written in Java and run on the command line. It polls a list of URLs at user-defined intervals, and can run three types of alerts when a URL returns an error code: email, pop-up dialog box, and shell scr
A portsentry clone written in java designed to run on any platform. You be able to give CLI for blocking access after detection (ie. shell, cmd, bat, etc..), Customizable for all ports on UDP,TCP
Cherry is a web based Java application built around RRDtool and used for monitoring and trend analysis of SNMP collected data. Extensive per component configuration and graphing abilities make this a useful tool for the network administrator.
The welofunc project will develop a load and fuctional test tool for web applications with special focus on J2EE applications. Besides load and functional tests server monitoring will be included (CPU load, memory usage of the J2EE application server)
wlandscape is a tool for collecting access point data of public wireless networks ( wlan ) in order to share it with anyone. It also supports gps and visualisation with the help of topographical maps. Visit our homepage for further informations.
A purposed ideal client accessing domain name resolve service supplied by ods.org. As being portable across platforms by java, implementing several dreamed features by numbers of ods users including me, Like SSL support, running behind the router...
A log monitor for the Linksys BEFW11S4. This Java/SWING Application will listen for SNMP traps from a BEFW11S4 Wireless Access Point Router and display them in either a SWING GUI or a console window.