CatastrophePWN 未解决
分数:
0
金币:
0
题目作者:
未知
一 血:
admin889
一血奖励:
0金币
解 决:
1
提 示:
I heard "value restriction" is important for the soundness of the OCaml type system.
Well, you may think this chall is "unsound hole challenge of the strage (non-famous?) language"? This is "partially" no. First, OCaml is famous! :) Joking aside (not joking!), you may notice that this challenge 1. complies to an OCaml VM binary (not native binary!) using `ocamlc` (not `ocamlopt`) 2. executes the VM binary using `ocamlrun`
Well, you may think this chall is "unsound hole challenge of the strage (non-famous?) language"? This is "partially" no. First, OCaml is famous! :) Joking aside (not joking!), you may notice that this challenge 1. complies to an OCaml VM binary (not native binary!) using `ocamlc` (not `ocamlopt`) 2. executes the VM binary using `ocamlrun`
描 述:
I love breaking analyses proven to be safe.
其 他:
下载