|
|
|
|
|
|
by timsally
4702 days ago
|
|
|
OCaml sees a lot of use in the applied program analysis community, which has applications to automated reverse engineering and formal verification. A company in this area recently started by CMU assistant professor David Brumley is: http://www.forallsecure.com/mayhem.html. |
|
|