Open mr-ma opened 6 years ago
@anahitH could you also please include a link to the actual repo of these programs..
Here are links to repos:
digitalbitbox - https://github.com/digitalbitbox/mcu
Added tests_u2f_standard bitcode to dataset. Make sure to install ludev library as it is used when compiling tests_u2f_standard to executable. To install the library: apt-get install libudev-dev
Added following bitcodes to dataset