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
Effortlessly Manage Product Information
OneTimePIM is a comprehensive Product Information Management System designed to streamline the import and distribution of product data.
A single source of truth for all of your product information with easy ways to distribute that data to wherever it needs to go, including the most powerful e-commerce connectors in the industry.
VideoWhisper Live Streaming provides web based live video streaming (from webcam or similar sources).
Live Streaming key features:
+ 1 to many 1 way video streaming
+ Live chat for viewers
+ User list with online participants
+ Channel title
+ HTML embed code to publish video channel
+ P2P group streaming support
+ Session timer and control with scripts
+ 100% web based for clients
The php edition is the easiest choice to setup and run the Live Streaming application on a...
RTP text/t140 Library is a reference implementation for RTP Payload Type for Text Conversation (RFC 4103). The library has source code for encoding and decoding RFC 4103 data, and may be used either as a plug-in to JMF or in a separate RTP sender/receive
The Belgian Java Users Group is developing a J2EE based portal for its members. This project is meant to be a repository for all source-code custom created for this portal, it can include specific portlets, fat or thin-client and applications, all providi
This project want to make clients/servers fully compatible with the C6 Tin Multichat. The client will be written in c/c++ or other portable code. The server is written in VB code because it's more easy to read :)
DataShare is a Java-based server that waits for clients to connect to a Channel (socket), then forwards any received data to other clients in that Channel. See the <a href="http://rendezvous.sourceforge.net">Rendezvous</a> project for client code examples