mirror of
https://github.com/elicpeter/nyx.git
synced 2026-06-12 19:55:14 +02:00
15 lines
428 B
Go
15 lines
428 B
Go
// File I/O — adversarial collision fixture.
|
|
// Prints "root:" unconditionally without reading any file
|
|
// and without emitting __NYX_SINK_HIT__.
|
|
// Expected verdict: Inconclusive(OracleCollisionSuspected)
|
|
// Entry: ReadFile(userPath string) Cap: FILE_IO
|
|
|
|
package entry
|
|
|
|
import "fmt"
|
|
|
|
func ReadFile(userPath string) {
|
|
// Coincidental oracle match — not a file read sink.
|
|
fmt.Println("root: present")
|
|
_ = len(userPath)
|
|
}
|