ben-manes/caffeine

climber-gate

Regenerate the window climber's adversarial trap traces and run the behavioral gate against the real cache in the simulator

لغة النص الأصلي: الإنجليزية

audit-regret

Adversarial workload search for eviction-policy regret. Crafts, shrinks, and classifies workloads on which the adaptive window climber fails to close the gap to its achievable optimum, and routes each failure class to the mechanism responsible (controller,…

لغة النص الأصلي: الإنجليزية

climber-minimize

Price each algorithmic step of the window climber by removing it, to find steps that no longer earn their keep and branches that no longer fire

لغة النص الأصلي: الإنجليزية

audit-temporal-walk

Heavyweight history-mining bug audit. Walks the caffeine module's git history chronologically (oldest to HEAD), maintains a forward-tracked issue database, and surfaces concerns introduced by past commits that were never resolved. Catches bugs that snapshot…

لغة النص الأصلي: الإنجليزية

audit-adaptivity

Audit the adaptive window hill-climber and region-resize logic for implementation defects (not algorithm quality)

لغة النص الأصلي: الإنجليزية

audit-arithmetic

Audit for arithmetic and boundary bugs (overflow, off-by-one, drift)

لغة النص الأصلي: الإنجليزية

audit-sibling-divergence

Differential audit comparing matched code paths that should behave identically. Spawns one auditor per sibling pair (sync/async, bounded/unbounded, view consistency, bulk vs single, generated node variants, read fast vs slow, adapter conformance) and requires…

لغة النص الأصلي: الإنجليزية

audit-adversarial

Hostile full-codebase review by parallel adversarial agents with no design context — finds bugs that domain familiarity masks

لغة النص الأصلي: الإنجليزية

audit-jcache-conformance

JSR-107 (JCache) spec-conformance audit

لغة النص الأصلي: الإنجليزية

audit-build-ci

Audit build and CI configuration for correctness risks

لغة النص الأصلي: الإنجليزية

audit-map-contract

Audit ConcurrentMap and Map contract compliance for asMap() view

لغة النص الأصلي: الإنجليزية

audit-contract-drift

Find places where documented API contracts and the implementation diverge

لغة النص الأصلي: الإنجليزية

audit-exception-safety

Audit exception safety and failure atomicity across all throw sites

لغة النص الأصلي: الإنجليزية

audit-lifecycle

Analyze shutdown, close, and GC-of-cache lifecycle correctness

لغة النص الأصلي: الإنجليزية

audit-memory-retention

Analyze reference retention paths that prevent GC of removed entries

لغة النص الأصلي: الإنجليزية

audit-reentrancy

Analyze user callbacks for re-entrancy defects (deadlock, corruption)

لغة النص الأصلي: الإنجليزية

audit-third-party-contracts

Verify every third-party and sharp-edged JDK API usage against the contract the upstream documentation actually states

لغة النص الأصلي: الإنجليزية

review-change

Multi-layer adversarial code review of a diff or branch using parallel specialized reviewers with triage

لغة النص الأصلي: الإنجليزية

audit-state-machine

Audit explicit state machines (drain status, node lifecycle, async-value lifecycle) for illegal or missed transitions

لغة النص الأصلي: الإنجليزية

audit-feature-interaction

Analyze feature interaction pairs and triples for concurrent defects

لغة النص الأصلي: الإنجليزية

audit-iteration

Analyze concurrent iteration and view consistency guarantees

لغة النص الأصلي: الإنجليزية

audit-jmm

Java Memory Model audit of all VarHandle/volatile field access modes

لغة النص الأصلي: الإنجليزية

audit-adversarial-input

Analyze behavior under adversarial or extreme API inputs

لغة النص الأصلي: الإنجليزية

audit-correctness-proof

Attempt formal correctness proofs for all public cache methods

لغة النص الأصلي: الإنجليزية

audit-coverage-gaps

Discover test coverage gaps that could hide correctness defects

لغة النص الأصلي: الإنجليزية

audit-linearizability

Analyze the cache for linearizability violations across all public methods

لغة النص الأصلي: الإنجليزية

audit-liveness

Analyze the cache for liveness defects (progress, termination, starvation)

لغة النص الأصلي: الإنجليزية

audit-performance

Audit hot paths for performance inefficiencies (allocations, contention, layout)

لغة النص الأصلي: الإنجليزية

audit-serialization

Audit serialization proxy correctness and round-trip safety

لغة النص الأصلي: الإنجليزية

audit-subsystem-safety

Audit one cache subsystem for concurrency correctness defects

لغة النص الأصلي: الإنجليزية

sim-analyze

Analyze a cache trace file to understand its characteristics and recommend policies

لغة النص الأصلي: الإنجليزية

sim-compare

Run cache policy hit rate comparison across multiple cache sizes with charts

لغة النص الأصلي: الإنجليزية