@trinker_vul/oracles
v0.1.0
Published
Trinker's deterministic oracles: differential authorization (BOLA), state mutation, and metamorphic response.
Maintainers
Readme
@trinker_vul/oracles
The three deterministic oracles used by Trinker:
differentialAuthorizationOracle— Broken Object Level Authorization, confirmed only on a byte-identical response to an identity that should have been deniedstateMutationOracle— an unauthorized write that provably changed protected statemetamorphicResponseOracle— a response that depends on a parameter it should ignore
None of them uses heuristics or scores: anything short of mechanical evidence is inconclusive.
