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
Boon: The Agile Referral Hiring Platform
Tap your entire community to hire better talent, faster
Boon's agile referral platform expands your recruiting power through AI, automation, integrations, and gamification.
The Microsoft Bytecode Engineering Library is a library written completely in Java that allows the user to parse, create, edit, and rewrite .NET assemblies. The code originally came from the University of Arizona. http://www.cs.arizona.edu/projects/mbel/
Our xDM platform turns business users into data champions.
Discover the Intelligent Data Hub unique platform for Master Data Management
It empowers organizations of any size to build trusted data applications quickly, with fast time to value using a single software platform for governance, master data, reference data, data quality, enrichment, and workflows.
Red Setter is a Eclipse plug-in that allows transformations between java objects. You can drag classes from the project tree onto the mapping editor and visually map the fields from one to the other. Currently it is capable of generating Dozer mappings.
Eclipse GMF/EMF based graphical editor for creating ORM diagrams (object-relational Mapping) and code generator. Three cartridges (based on openArchitectureWare) are provided currently: Java Persistence API (JPA), Grails ORM (GORM) and Django Models.
X4Java is a framework that serializes and de-serializes Java object based upon the Schema provided, the output of this framework is XML file conforming to the provided Schema, structure of XML o/p can be change by applying minimal changes to schema file.
The application takes the pseudo code as an input and generates the necessary C
code for the same logic. Thus the software can be used to produce the results just with
the use of logic and there is no special importance given to a specific language in which
the pseudo code should be implemented, instead there is a complete focus on the logic
itself. The system to be designed must be user friendly, so that even if the end user or
the client is technically illiterate he should be able to...
Airlock Digital - Application Control (Allowlisting) Made Simple
Airlock Digital delivers an easy-to-manage and scalable application control solution to protect endpoints with confidence.
For organizations seeking the most effective way to prevent malware and ransomware in their environments. It has been designed to provide scalable, efficient endpoint security for organizations with even the most diverse architectures and rigorous compliance requirements. Built by practitioners for the world’s largest and most secure organizations, Airlock Digital delivers precision Application Control & Allowlisting for the modern enterprise.
zCOBOL portable mainframe COBOL compiler, part of the z390 project
The zCOBOL portable mainframe COBOL compiler with support for compiling multiple dialects of COBOL into any one of several target language executable programs including HLASM compatible mainframe assembler, Java, C++, or Intel assembler. All downloads and other information are kept at the z390 project site; see the home page link for more information.
A WYSIWYG database modeling tool based on eclipse,it can generate code for hibernate,ojb,ibatis,openJpa.The supported platform includes oracel,db2,mysql,mssql,sybase,derby,MaxDB,SapDB,PostgreSql,HsqlDB and the databases which has JDBC driver.
A new WSDL to Java/JiBX binding generator. Supports multiple inputs as WSDL or XSD, array unwrapping (rare feature !), choice between plain arrays or java.util.List, prefix and namespace aware, serializable beans, and "ready to bind" generated files...
A set of framework to build business applications using j2ee stack. It's aimed to be customizable and full feature. The approach is model driven architecture.
Eclipse plug-in that implements an approach under research, for automatic derivation of Framework-Specific Modeling Languages with code generation capabilities. The approach relies on Aspect-Oriented Programming.
Provides possibility to adapt the interface of tested class. Enables to set a state of the class while writing tests by accessing the members that are not usually accessible.
MyL is a hyper productive programming language oriented to concepts, created to simplify and accelerate the development of commercial applications for web and desktop, using a "Straight to the point" syntax.
A behavioral synthesis tool infrastructure and software framework, translating sequential algorithms into hardware descriptions expressed in a hardware description language (HDL).
maven-gbean-plugin: a maven plugin focused on help gbean development. Available goals include
1, a archetype goal to create a simple template Gbean.
2, a deploy plan generating goal based on a Gbean.