Upcoming Webinars in categories Static Analysis

No results found in categories Static Analysis

Webinars/Demos in categories Static Analysis

  • 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 SPARK 10.1

    The InSight webinar series continues with a presentation on the new features of the AdaCore/Altran joint offering – SPARK Pro 10.1. SPARK Pro combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment, backed by unrivalled support systems.

    SPARK 10.1 includes the following enhancements:

    • Generics Phase 1 - Release 10.1 includes the first phase of the addition of support for Ada generics to the SPARK language and toolset
    • Dynamic Flow Analyser and VCG Heaps
    • Unicode characters now allowed in strings
    • Improved use of types and subtypes in FDL
    • Improvements to Simplifier tactics and performance
    • Auto-generation of refinement rules
    • Improvements to SPARKBridge
    • New SPARKClean utility

    This webinar will include a demo and Q&A session with the developers of the SPARK Pro toolset.

  • Introducing SPARK 10

    The InSight webinar series continues with a presentation by Robin Messer on the new features of the AdaCore/Altran joint offering – SPARK Pro 10. SPARK Pro combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment, backed by unrivalled support systems.

    SPARK Pro 10 is a major release including many new features – automatic selection of flow analysis mode, language profile for SCADE KCG, support for explicitly derived numeric types, addition of the SPARKBridge preview for Windows, library additions, and improvements to the SPARK proof tools.
  • 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 SPARK 9.1

    The InSight webinar series continues with a presentation by Angela Wallenburg on the new features of the AdaCore/Altran joint offering – SPARK Pro. SPARK Pro combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment, backed by unrivalled support systems.

    SPARK Pro 9.1 is a major release including many new features – the use of full range array subtypes, the relaxation of aliasing rules for record fields, the ability to specify VC generation on a per-file basis in metafiles, the introduction of new SPARK libraries, the introduction of the SPARKbridge feature.
  • Introducing SPARK 9.0

    The InSight webinar series continued with a presentation by Robin Messer on the new features of the AdaCore/Altran joint offering – SPARK Pro. SPARK Pro combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment, backed by unrivaled support systems.

    SPARK Pro 9 is a major release including many new features – new information-flow verification for safety and security policies, a new SPARK2005 language profile, the new ZombieScope tool, cross referencing annotations in GPS, function return annotations are now treated more like procedure post-conditions, a new output format for POGS, and a new Examiner switch that checks consistency of casing within code and annotations.
  • 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.
  • Getting started with SPARK

    The InSight webinar series continues with a presentation by Rod Chapman on SPARK GPL – the high assurance toolset dedicated to the academic and Free Software communities. SPARK GPL combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment. SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital either for reasons of safety or security. The SPARK Toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes.

    This webinar presents the concepts behind the Correctness-by-Construction methodology, includes a demo of the SPARK toolset and will look at current and potential research topics for the academic community.
  • Introducing SPARK Pro

    The InSight webinar series continued with a presentation by Rod Chapman on the AdaCore/Altran new joint offering – SPARK Pro. SPARK Pro combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment, backed by unrivaled support systems. SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital either for reasons of safety or security. The SPARK Toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes.

    This webinar presents the concepts behind the Correctness-by-Construction methodology and includes a demo of the SPARK Pro toolset.
  • Effectiveness of Static Stack Analysis

    This webinar describes GNATstack, a static stack analysis tool that calculates the maximum stack space required by an application. The output of GNATstack can be used to ensure that stack overflow does not occur in a reliable system.