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
The AI coach for teams, built on validated assessments.
Cloverleaf is an assessment-backed AI Coach that fully understands your people and the context of their workday.
Give managers and teams proactive, contextual coaching to lead effectively, communicate clearly, and navigate real work situations as they happen.
Application to inspect text and images of pdf books.
With the application you can open and browse pdf books.
In addition you will be able to inspect the codes for characters or locate the images.
May be an example of basic use of pdfbox.
JDK-17 compatibility
You will find more about it at this web site:
https://www.frojasg1.com:8443/downloads_web/web/html/pdfInspector.html?origin=sourceforge
This library is used for showing various rich text, including LaTeX, images, codes, tables, and normal styles such as center, bold, italic, and so on. An interesting feature is, that you can customize most tags as whatever you want. It uses CodeView to support code highlight, and JLaTeXMath to support LaTeX. The method to parse rich text is something like recursively descending. I'm open to PR that could improve performance, fix bugs and do anything to make this library better.
Automatically converts special characters to their HTML codes.
Especially aimed at German and Turkish special characters, this small tool only offers one JEditorPane for input (left) and output (right) each, and a button.
When the button is clicked, the contents of the left editor field are processed and delivered to the right editor field.
A high performance cross programming languages communication framework similar to Java RMI. Unlike RMI, CABLE allows server push and was tested to run up to 3x faster than RMI depending the number of threads and CPU power. Currently in Java and C#.
JSCAPE is a Flexible, Scalable MFT Solution That Supports Any Protocol, Any Platform, Any Deployment
Platform Independent Managed File Transfer Server. JSCAPE is the perfect solution for businesses and government agencies looking to centralize your processes and provide secure, seamless and reliable file transfers. Meet all compliance regulations including PCI DSS, SOX, HIPAA and GLBA.
Tool for managing patch codes for the Nintendo Wii. Formats this tool handles are common to Gecko OS and popular Wii homebrew software. This is one of very few complete cross-platform GCT compilers and the only known GCT decompiler and merge tool.