Upcoming Webinars in categories CodePeer

No results found in categories CodePeer

Webinars/Demos in categories CodePeer

  • Introducing CodePeer 2.2

    This webinar presents the CodePeer technology, describing what it does, how it can be used to improve software quality, and what are the new features of the 2.2.1 release. It includes a demo highlighting how Ada 2012 and CodePeer can be used together to identify potential issues, add targeted checks and contracts, and find actual bugs in an application.
  • Introducing CodePeer 2.1 - Static Analysis Tool

    CodePeer is a source code analyzer that detects run-time and logic errors in Ada programs. This webinar, presented by Tucker Taft, will provide an overview of the technology, and focus on the new features introduced in this latest 2.1 release. These include support for Ada 2012 and its new syntax for specifying contracts, analysis of the elaboration of library units to enable detection of uninitialized global variables, better support for analysis of race conditions including new GPS reports, and more precise handling of preconditions and unused assignments.

    Presented by Tucker Taft, we will also allow for a Q&A session at the end of the presentation.
  • Introducing CodePeer 2.0

    CodePeer is a source code analyzer that detects run-time and logic errors in Ada programs. This webinar, presented by Tucker Taft, will provide an overview of the technology and focus on the new features introduced in this latest release including support for access-to-subprogram types, much more efficient SCIL generation, support for parallel SCIL generation, fewer “false positives”, and improved integration with the GPS IDE.
  • Migrating to DO-178C/Avionics Certification Trends

    Wind River, Ada Core and Verocel will show the webcast audience how use of COTS technology and best practices in software certification can improve time to market and reduce risk for safety-critical software developers.

    AdaCore will introduce tools and techniques for easing the development and certification costs for applications to be deployed within an IMA architecture. Options for certification approaches will be discussed along with methods for automating these approaches. Full software development environments will be discussed with tight integration of tools and toolsets when they are applicable to the development or safety certification effort for a particular safety standard.
  • Introducing CodePeer

    CodePeer is a source code analyzer that detects run-time and logic errors in Ada programs. Serving as an efficient and accurate code reviewer – in effect an expert assistant. CodePeer identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code typical of logic errors. Going well beyond the capabilities of typical static analysis tools, CodePeer also produces a detailed analysis of each subprogram, including pre- and postconditions.