4 ms·Finding Vulnerabilities in Embedded Systems Using Symbolic Execution1 points by neur0mancer 13y ago