-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Decision: containment is Linux-only, and the reach we differentiate on is Windows
needs-humanA loop escalated this: it needs a decision or a protected-path changeA loop escalated this: it needs a decision or a protected-path changeStatus: Open.#303 In automators-com/flowproof;Decision: nothing stops an agent deleting a file — containment is network-only
needs-humanA loop escalated this: it needs a decision or a protected-path changeA loop escalated this: it needs a decision or a protected-path changeStatus: Open.#302 In automators-com/flowproof;False green: a foreign-arch syscall is ALLOWED, so assert_no_egress certifies an uncontained process
Status: Open.#301 In automators-com/flowproof;- Status: Open.#300 In automators-com/flowproof;
web: no way to watch a run — headless is hardcoded, and on macOS/Linux nothing else drives a UI
enhancementNew feature or requestNew feature or requestneeds-humanA loop escalated this: it needs a decision or a protected-path changeA loop escalated this: it needs a decision or a protected-path changeStatus: Open.#287 In automators-com/flowproof;- Status: Open.#281 In automators-com/flowproof;
- Status: Open.#227 In automators-com/flowproof;
- Status: Open.#32 In automators-com/flowproof;