3 Januar 2018
Tool specific news: Company Testwell CMT++/CMTJava Testwell CTC++ Elvior TestCast GrammaTech CodeSonar Imagix Julia Static Analysis Events/Seminars ALL NEWS
(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.
(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.