Statistik
6 Fragen
0 Antworten
RANG
256.372
of 300.857
REPUTATION
0
BEITRÄGE
6 Fragen
0 Antworten
ANTWORTZUSTIMMUNG
0.0%
ERHALTENE STIMMEN
0
RANG
of 21.097
REPUTATION
N/A
DURCHSCHNITTLICHE BEWERTUNG
0.00
BEITRÄGE
0 Dateien
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANG
of 171.361
BEITRÄGE
0 Probleme
0 Lösungen
PUNKTESTAND
0
ANZAHL DER ABZEICHEN
0
BEITRÄGE
0 Beiträge
BEITRÄGE
0 Öffentlich Kanäle
DURCHSCHNITTLICHE BEWERTUNG
BEITRÄGE
0 Discussions
DURCHSCHNITTLICHE ANZAHL DER LIKES
Feeds
Frage
Data Race Atomic Operations
Hello, I want to understand if data race condition is a bug in atomic operations. Because: When using atomic operations, if "D...
etwa 3 Jahre vor | 1 Antwort | 0
1
AntwortFrage
Code prover gives force refined shared variables analysis error.
While Bug finder finds data race defect Code Prover can not find any shared variables defect and gives 'force refined shared var...
etwa 3 Jahre vor | 1 Antwort | 0
1
AntwortFrage
Code Prover and Bug Finder finding race condition bug problem.
typedef struct { uint8_ t var_u8; uint16_t var_u16; uint32_t var_u32; }global_struct; % Global Variables gl...
etwa 3 Jahre vor | 1 Antwort | 0
1
AntwortFrage
Code Prover Unreachable code and function
When i analys my code i get too many unreachable functions but i know i called more function than what dashboard shows me. Also ...
etwa 3 Jahre vor | 1 Antwort | 0
1
AntwortFrage
How to fix gray checks and unreachable functions at Code Prover ?
Hello i get %50-75 percent unreachable functions and there are hundres of gray cheks when i look to gray lines i can not underst...
etwa 3 Jahre vor | 1 Antwort | 0
1
AntwortFrage
How to fix memory usage in Code Prover ?
Hello, I use codeprover 2020b and after reading documentation i saw optimal working processes are 4 and every core needs minimum...
etwa 3 Jahre vor | 1 Antwort | 0
