Code

Harden windows_get_shell#5714

Code

Merged

kit-ty-kate merged 3 commits intoocaml:masterocaml/opam:masterfrom dra27:harden-dockerdra27/opam:harden-dockerCopy head branch name to clipboardNov 13, 2023

+12-2

Commits

Commits on Nov 7, 2023

• Harden windows_get_shell

  Show description for cbd725e
  dra27

  committed
  cbd725e

  Copy full SHA for cbd725e

• Guarantee the process list is always terminated

  Show description for 074b4c9
  dra27

  committed
  074b4c9

  Copy full SHA for 074b4c9

• Fix segfault in process ancestry code

  Show description for 9ec78ae
  dra27

  committed
  9ec78ae

  Copy full SHA for 9ec78ae