Static program analysis

TrustInSoft Mathematically Guarantees Zero Bug Vehicles with New Application Security Test

Retrieved on: 
Wednesday, June 9, 2021
Quality management, Software engineering, Software testing, Program analysis, Theoretical computer science, Academic disciplines, Quality assurance, Software review, Static program analysis, Formal methods, Application security

The new Zero Bug AST leverages the TrustInSoft Analyzer to automate the power of Formal Methods testing, bringing the benefits to static and dynamic C/C++ source code analysis.

Key Points: 
  • The new Zero Bug AST leverages the TrustInSoft Analyzer to automate the power of Formal Methods testing, bringing the benefits to static and dynamic C/C++ source code analysis.
  • TrustInSoft Analyzer democratizes Formal Methods by making its advanced testing processes available to any developer at an affordable cost.
  • "Our new Zero Bug Application Security Test automates the power of Formal Methods for customers to save bug detection time by 40X, decrease code verification time by 4X, and avoid disastrous real world problems."
  • The TrustInSoft Analyzer is a hybrid static and dynamic code analyzer that automates Formal Methods to mathematically guarantee C/C++ code quality, security and safety.

TrustInSoft Offers Free Application Security Testing Program for Google Summer of Code Projects

Retrieved on: 
Wednesday, June 9, 2021
Software testing, Software engineering, Quality management, Computer security software, Unit testing, Software review, Abstract interpretation, Parasoft, Veracode, Static program analysis, Application security, Formal methods

This AST for Googlers is based on TrustInSoft's Analyzer to provide static code analysis of C/C++ source code using Formal Methods testing to guarantee bug free code.

Key Points: 
  • This AST for Googlers is based on TrustInSoft's Analyzer to provide static code analysis of C/C++ source code using Formal Methods testing to guarantee bug free code.
  • "This exclusive offer helps students guarantee the quality and security of their Google Summer of Code projects by using Formal Methods to trust the math and focus on winning."
  • To register for TrustInSoft's Google Summer of Code Application Security Test, visit: https://trust-in-soft.com/googles-summer-of-code-with-trustinsoft/
    TrustInSoft participates in the Application Security Testing market alongside vendors such as Mathworks, Parasoft, Synopsis and Veracode.
  • The TrustInSoft Analyzer is a hybrid static and dynamic code analyzer that automates Formal Methods to mathematically guarantee C/C++ code quality, security and safety.

ShiftLeft CORE Platform Delivers Intelligent Software Composition Analysis and Contextual Code Security Training to Streamline Developer Workflows

Retrieved on: 
Thursday, April 8, 2021
Data management, Security, Technology, Mobile, Wireless, Software, Networks, Internet, Software testing, Software engineering, Software quality, Application security, Vulnerability, Static program analysis, Quality

ShiftLeft, Inc. , a leader in application security, today introduced ShiftLeft CORE , a unified code security platform.

Key Points: 
  • ShiftLeft, Inc. , a leader in application security, today introduced ShiftLeft CORE , a unified code security platform.
  • Powered by ShiftLefts Code Property Graph (CPG) engine, the ShiftLeft CORE platform features NextGen Static Analysis (NG SAST), a modern code analysis solution built to support developer workflows; Intelligent Software Composition Analysis (SCA), which scores code vulnerabilities based on whether an attacker can reach it; and ShiftLeft Educate, which delivers contextual security training for developers within the developer workflow.
  • ShiftLeft CORE offers a suite of code security solutions from a single, unified platform.
  • ShiftLeft CORE, a unified code security platform, combines the companys flagship NextGen Static Analysis (NG SAST), Intelligent Software Composition Analysis (SCA), and contextual security training through ShiftLeft Educate.

LDRA Optimizes Functional Safety Software Development with Synopsys ARC Processors

Retrieved on: 
Monday, March 1, 2021
Software, Mobile, Wireless, Networks, Other Defense, Internet, Data management, Technology, Defense, Security, Engineering, Automotive Manufacturing, Aerospace, Manufacturing, Software testing, Synopsys, Computing, Liverpool Data Research Associates, Arc, Academic disciplines, Software engineering, ISO 26262, Software verification, Functional safety, Static program analysis

LDRA, the leading provider of automated software verification, source code analysis and test tools, today announced it has delivered a test and validation lifecycle solution for Synopsys DesignWare ARC Functional Safety (FS) processors.

Key Points: 
  • LDRA, the leading provider of automated software verification, source code analysis and test tools, today announced it has delivered a test and validation lifecycle solution for Synopsys DesignWare ARC Functional Safety (FS) processors.
  • This new LDRA integration with the Synopsys DesignWare ARC MetaWare Development Toolkit for Safety provides source-code static and dynamic analysis, as well as verification on host and target for the DesignWare ARC EM FS and ARC HS FS families of functional safety processors.
  • The Synopsys DesignWare ARC MetaWare Development Toolkit for Safety helps software developers accelerate the development of ISO 26262-compliant code.
  • The LDRA tool suite with the Synopsys DesignWare ARC MetaWare Development Toolkit for Safety is available now.

AdaCore Broadens its Cybersecurity Capabilities with the Acquisition of Componolit GmbH

Retrieved on: 
Tuesday, February 16, 2021
Technology, Semiconductor, Engineering, Security, Automotive Manufacturing, Other Technology, Other Defense, Aerospace, Contracts, Manufacturing, Software, Audio, Video, Networks, Defense, Hardware, Data management, Consumer electronics, Software testing, Quality assurance, Program analysis, Software review, Static program analysis, Software engineering, Software quality, Quality

AdaCore , a trusted provider of software development and verification tools, announces the acquisition of Componolit GmbH , effective as of February 1, 2021.

Key Points: 
  • AdaCore , a trusted provider of software development and verification tools, announces the acquisition of Componolit GmbH , effective as of February 1, 2021.
  • View the full release here: https://www.businesswire.com/news/home/20210216005666/en/
    Cyrille Comar, Co-founder and President of AdaCore Europe, and Alexander Senier, Founder and CEO of Componolit.
  • (Photo: Business Wire)
    The acquisition of Componolit will provide AdaCore with a further foothold to expand its growing market share in Germany where the requirement for high-assurance software is increasing rapidly.
  • Componolit technology will also bring new capabilities to AdaCore's suite of automated testing and static analysis tools.

Vector Partners with Axivion For Distribution of Static Code Analysis Tool

Retrieved on: 
Tuesday, November 17, 2020
Software review, Software engineering, Program analysis, Quality assurance, Software testing, Static program analysis, 1C Company, Computing, Software quality, Draft:BIC Platform

Axivion is a manufacturer of innovative software solutions for static code analysis and protection against software erosion.

Key Points: 
  • Axivion is a manufacturer of innovative software solutions for static code analysis and protection against software erosion.
  • The Axivion Suite is a mature tool suite for automated static code analysis and architecture checks.
  • Especially for complex development projects with globally distributed design teams, Axivion Suite ensures the quality and long-term maintainability of the source code.
  • Axivion is ISO 9001 certified and has more than 150 customers with several thousand users in various industries worldwide.

ShiftLeft NextGen Static Analysis Now Available on GitHub Marketplace to Support Developer-Centric Security

Retrieved on: 
Tuesday, September 8, 2020
Data management, Security, Technology, Other Technology, Software, Networks, Internet, Software engineering, Computing, Quality management, Program analysis, Git, Project management software, Cross-platform software, GitHub, Version control, Application security, Static program analysis

ShiftLeft, Inc. , the leader in application security (AppSec) for developers, today announced that its NextGen Static Analysis (NG SAST) product is now available on GitHub Marketplace .

Key Points: 
  • ShiftLeft, Inc. , the leader in application security (AppSec) for developers, today announced that its NextGen Static Analysis (NG SAST) product is now available on GitHub Marketplace .
  • Now available as a free GitHub App, NG SAST enables extremely fast and highly accurate code analysis to be easily integrated into developer workflows in just a few clicks.
  • In the modern software development lifecycle (SDLC) developers perform the majority of the application security work, not traditional AppSec teams.
  • Now that NG SAST is available through GitHub Marketplace, developers can make their own choices about which tools they adopt.

LDRA Delivers Secure Software Development Resource for Embedded Markets

Retrieved on: 
Thursday, August 27, 2020
Data management, Security, Technology, Software, Networks, Internet, Computing, Software engineering, Liverpool Data Research Associates, Quality assurance, Software testing, Static program analysis, Software development, Internet of things, LDRA Testbed

LDRA , the leader in standards compliance, automated software verification, software code analysis, and test tools, today launched the Secure Software Development Resource Centre .

Key Points: 
  • LDRA , the leader in standards compliance, automated software verification, software code analysis, and test tools, today launched the Secure Software Development Resource Centre .
  • The Secure Software Development Lifecycle (SSDLC) provides a detailed introduction to a better, proactive approach to ensure that code is secure by construction and implemented using a systematic development process.
  • Why secure software development is key for various vertical applications such as automotive, aerospace & defense, industrial & energy, rail, medical, and IoT.
  • For more than 40 years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security-, and business-critical markets.

LDRA Celebrates 10 Years in South East Asia

Retrieved on: 
Tuesday, July 28, 2020
Software, Technology, Data management, Software testing, Liverpool Data Research Associates, Software engineering, Computing, Static program analysis, Software verification, Quality, LDRA Testbed

LDRA, the leader in standards compliance, automated software verification, software code analysis, and test tools for embedded software for 40 years, celebrates the 10-year anniversary of LDRA South East Asia (SEA) this month.

Key Points: 
  • LDRA, the leader in standards compliance, automated software verification, software code analysis, and test tools for embedded software for 40 years, celebrates the 10-year anniversary of LDRA South East Asia (SEA) this month.
  • Over the 10 years, LDRA SEA has continued to grow and currently serves companies headquartered in 12 different countries.
  • With customer count continuing to multiply, LDRA SEA has become a cornerstone of LDRAs growth.
  • South East Asia has proven to be our fastest growing market, with local and global companies alike realizing the benefits automating code analysis and software testing offers in their quest to comply with international standards, said Shinto Joseph, Director SEA Operations, LDRA.

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

Retrieved on: 
Wednesday, July 22, 2020
Data management, Security, Technology, Other Technology, Software, Networks, Computing, Software engineering, Programming languages, Software testing, CodeSonar, GrammaTech, Static application security testing, Static program analysis, Application security, SonarQube, Java

to extend its CodeSonar Static Application Security Testing (SAST) platform with automated code analysis for Java and C# code.

Key Points: 
  • 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.
  • CodeSonar and Julia Engine are registered trademarks of GrammaTech, Inc.
    View source version on businesswire.com: https://www.businesswire.com/news/home/20200722005095/en/