GrammaTech Acquires JuliaSoft to Expand Reach of CodeSonar® SAST Platform to Java and C#

(Bethesda (MD)/USA, 22 July 2020)

GrammaTech announced that it has acquired the intellectual property and assets of JuliaSoft S.r.l. (Italy) to extend its CodeSonar Static Application Security Testing (SAST) platform with automated code analysis for Java and C# code.
To provide customers with an integrated solution for reliably detecting security vulnerabilities and other defects in their embedded applications, the Julia Static Analyzer will be unified into the CodeSonar® platform. This will enable developers to perform static analysis of C, C++, Java and C# code and develop secure applications faster. The new language support extends automated detection of software vulnerabilities to enterprise use cases where safety and security are indispensable.
The Julia products will immediately extend CodeSonar’s market reach and differentiation by further expanding its depth and breadth whether the use case is achieving code checking, code quality, code security or adhering to coding standards.

Deep Static Analysis Everywhere: Transferring the lessons learned from safety and security critical software to other software domains - Webinar 9th May, 10:30am

(Offenburg/Germany, Verona/Italy, 19 March 2019)

Learn how demands on static analyzing tools have been changed due to increasing dispersion of IoT and rise of cybersecurity issues (e.g. SQL Injection). The webinar outlines, in which phases of the development cycle a tool based static analysis may improve your software’s security. Moreover it will point out how semantic analyzers, in comparison to syntactic ones, are capable to discover more complex vulnerabilities. On the basis of examples will be demonstrated how possible SQL injections can be uncovered by using Julia Static Code Analyzer. Julia Static Code Analyzers.
Further information and registration

Verifysoft cooperates with JuliaSoft for Support and Sales of Julia Static Analyzer for Java, Android and .Net Code

(Offenburg/Germany, Verona/Italy, 14 January 2019)

Verifysoft cooperates with JuliaSoft for support and sales of Julia, a static analyzer for Java, Android and .Net code.
Julia helps clients to guarantee their application security and quality by providing them with the best possible solutions for in-depth analysis of software. The uniqueness of Juliasoft’s core technology results in a particularly deep and accurate analysis of Java, Android and .Net code, as demonstrated by open, repeatable comparisons (see OWASP Benchmark). A profound understanding of the scientific principles at the base of the technology and an internal research team guarantee that JuliaSoft's solutions always keep at the forefront of innovation.
JuliaSoft was founded in 2010 as a spin-off of the University of Verona (Italy). Since June 2015 JuliaSoft is part of Corvallis Group, one of the top Italian IT service companies.
Verifysoft will distribute Julia in German speaking countries.

GrammaTech Announces Integration of JuliaSoft into CodeSonar

(Ithaca/New York, 19. October 2018)

Software teams that build safety and security critical systems using Java, C#, or Android can now benefit from high recall, high precision, advanced static analysis. GrammaTech today announces support for these platforms thanks to the integration of the advanced static analysis engine Julia from JuliaSoft into GrammaTech CodeSonar. Today’s software projects are utilizing more and more languages. An IOT device may use C/C++ for the safety critical programmable logic control, while it uses Java to provide a flexible user interface. A medical device may use C inside a pacemaker or an infusion pump, but use C# or Android to provide a familiar user interface to end-users on top of mobile devices. Integrating Julia into CodeSonar provides high recall, high precision, advanced static analysis of multiple languages into a single user interface complete with team collaboration and visualization tools, making it easy for software development teams to deliver better software faster all the while reducing cyber security risk. About JuliaSoft: JuliaSoft is an innovative technology company specialized in software verification. Born as a University of Verona spin-off company in 2010, since June 2015 JuliaSoft is part of Corvallis Group, one of the top Italian IT service companies.
Learn more