CodeSampleX

Relevésgolanggithub.com/pelletier/go-toml/v2v2.4.3

Détail de l'environnement

Les observations au niveau projet et les vérifications de symbole/contrat sont comptées séparément et jamais additionnées.

Ces chiffres ne distinguent pas la façon dont le symbole a été appelé : surcharges, formes d'arguments et options sont regroupées. Ce que fait une forme d'appel précise est prouvé par le contrat d'un échantillon, pas par ces nombres.

Environnement Confiance Observations Vérifié Taux de réussite Pairs Dernière observation
go 1.26 · Go · go · linux glibc · docker
Observations: PROJECT_LOAD 2✓ · PROJECT_TEST 2✓ — Usage: USED 2✓ — Vérifié: CONTRACT 1✓
LOW 4 +2 1 100 % 1 · 1✓ 2026-09-17
go 1.26 · Go · go · linux glibc
Observations: PROJECT_PROCESS 2✓ — Usage: USED 5✓
LOW 2 +5 0 100 % 1 2026-09-13
go 1.26 · Go · go · windows
Observations: PROJECT_COMPILE 51✓ 10✕ · PROJECT_TEST 247✓ 99✕ — Usage: USED 102✓ — Vérifié: PROCESS_START 0✓ 2✕ · UNKNOWN 0✓ 8✕
ELEVATED FAILURE 407 +102 10 71 % 1 2026-09-17

Frontière de vérification

Ce que les reçus signés établissent sur le fait de quitter cette version. Chaque ligne ne vaut que sous les conditions qu’elle nomme ; rien n’est inféré entre versions mesurées, et une limite mesurée n’est jamais présentée comme candidat inféré.

Clusters d'échecs récents

Affichage des 12 plus signalés parmi 109 groupes d’échecs enregistrés. Le reste sont des signalements uniques.

Symboles

Pas encore de symboles avec des preuves.

Exemples publiés