bcoover

Attivo dal 2017

Followers: 0 Following: 0

Statistica

Visualizza badge

Feeds

Domanda

How do I make Polyspace understand a dereferenced pointer function parameter?
The project I'm analyzing has functions that have dereferenced pointers as the parameters: extern void func( Custom_Type &f...

oltre 7 anni fa | 1 risposta | 0

1

risposta

Domanda

How can I fix conflicting "main" functions that prevent Code Prover analysis from completing?
The code I'm trying to analyze with Code Prover has two "main" functions: a "throwaway" main in the project's main file and the ...

quasi 8 anni fa | 1 risposta | 0

1

risposta