Prüft behauptete illegale Monitorzugriffe eines anonymen Java-Wait-/Notify-Model...

{ "body": { "artifact": { "java_monitor": { "claim": 2, "events": [ { "op": "exit", "thread": 0 }, { "op": "notify", "target": -1, "thread": 0 } ], "threads": 2 } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the bounded explicitly supplied anonymous artifact and numeric claim are evaluated.", "No external system is queried or modified; identifiers, addresses and source text are not returned.", "A mismatch is a declared-model correspondence finding, without an operational, security, legal or compliance verdict." ], "module": "java-monitor-waitset-reentrant-reacquisition", "state": "not_observed", "value": { "awaiting_reacquisition_threads": 0, "blocked_acquisition_attempts": 0, "claim_matches": true, "completed_interrupted_waits": 0, "illegal_monitor_state_operations": 2, "monitor_owner_thread": -1, "monitor_reentrancy_depth": 0, "pending_interrupt_flags": 0, "statistic": 2, "waitset_threads": 0, "wake_removals_from_waitset": 0 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }