Polyspace R2021a Link

  • Complexity with dynamic memory and pointer-heavy code:
  • Large codebases and performance impact:
  • Language feature coverage:
  • Runtime-specific behavior: 
    • polyspace-analysis:
  stage: test
  script:
    - polyspace-bug-finder -sources src/ -lang c++14 -checkers-selection "all"
    - polyspace-report-generator -results polyspace_results.psx -format junit -o report.xml
  artifacts:
    reports:
      junit: report.xml

    Polyspace supports cross-compilation. In R2021a, you specify:

    Example:

    polyspace-code-prover -sources src/ -target-compiler arm-none-eabi-gcc -input-range "sensor_val:0..4095"
    댓글삭제
    닫기

    확인

    '; head.appendChild(MS_scriptadd0); });