Hi,
HP Fortify is recruiting Spring or Summer interns who loves working with
Klee. Particularly, this project uses symbolic execution to
discover/verify security vulnerabilities in programs. If you're
interested in modifying Klee internals to solve real-world software
security problems, please send your resume that highlights your Klee
related projects to Lu at [email protected].
Thanks
Lewis
P.S.
HP Fortify is a leading software firm in application security testing.
It combines knowledge of static/dynamic analysis, formal verification,
and software security into products that find vulnerabilities in
programs. More information about HP Fortify is available at
http://www8.hp.com/us/en/software-solutions/software-security/index.html. This
particular group that is looking for Klee interns focuses on static
analyses and is interested in combining static analyses and symbolic
execution
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
