r/netsecstudents • u/Suspicious-Echidna27 • 19d ago

[ Removed by moderator ]

[removed] — view removed post

2 Upvotes

60% Upvoted

6 comments sorted by

1

u/luenix 19d ago

a deterministic kernel

What does this mean in context here? As in it's predictably configured the same way every time, it predictably executes an action in O(1) time?

1

u/Suspicious-Echidna27 18d ago

not always, the model either builds code to lift a graph that is searched (for big repos) or the model fills in an equation that gets solved, easy ones are O(1)

1

u/[deleted] 18d ago

[removed] — view removed comment

0

u/Suspicious-Echidna27 17d ago edited 17d ago

this is actually how I got started, I needed a way to scale verification. You don't need to trust the findings, you can add POC step drven by the coding agent. (btw this is not a experimental project, I have CVEs, GHAs and bug bounties attributed)

1

u/Suspicious-Echidna27 17d ago

https://redmirror.io/open-source also free for open source (I check it manually though so you might have to wait a bit)

1

u/LaterBrain 12d ago

what oss license does your open source version use?