├── Sherloc_runtime ├── evaluation │ ├── src │ │ ├── cubic │ │ │ └── .gitignore │ │ ├── slre │ │ │ └── .gitignore │ │ ├── picojpeg │ │ │ └── .gitignore │ │ ├── qrduino │ │ │ └── .gitignore │ │ ├── rijndael │ │ │ └── .gitignore │ │ ├── sglib_dllist │ │ │ └── .gitignore │ │ ├── sglib_queue │ │ │ └── .gitignore │ │ ├── sglib_rbtree │ │ │ └── .gitignore │ │ ├── sglib_hashtable │ │ │ └── .gitignore │ │ ├── sglib_listsort │ │ │ └── .gitignore │ │ ├── sglib_arraybinsearch │ │ │ └── .gitignore │ │ ├── sglib_arrayheapsort │ │ │ └── .gitignore │ │ ├── sglib_arrayquicksort │ │ │ └── .gitignore │ │ └── sglib_listinsertsort │ │ │ └── .gitignore │ └── BEEBS.h ├── lib │ ├── Sherloc_s_Lib.o │ └── Sherloc_s_IRQ_Lib.o └── images.txt ├── Example ├── out │ └── eval │ │ ├── O3 │ │ ├── eval_log │ │ │ ├── FreeRTOS_MPU_ns_1_baseline_rtos.log │ │ │ ├── FreeRTOS_MPU_ns_led_baseline_rtos.log │ │ │ ├── FreeRTOS_MPU_ns_1_MPU_trigger.log │ │ │ ├── FreeRTOS_MPU_ns_1_MPU_trigger_IBT.log │ │ │ ├── FreeRTOS_MPU_ns_led_led_trigger.log │ │ │ ├── FreeRTOS_MPU_ns_led_led_trigger_IBT.log │ │ │ ├── FreeRTOS_MPU_ns_1_MPU_trigger_IBT_baseline.log │ │ │ ├── FreeRTOS_MPU_ns_led_led_trigger_IBT_baseline.log │ │ │ ├── FreeRTOS_MPU_ns_1_full_rtos.log │ │ │ ├── Sherloc_Blinky_ns_10ms_baseline_blinky.log │ │ │ ├── Sherloc_Blinky_ns_100ms_baseline_blinky.log │ │ │ ├── Sherloc_Blinky_ns_10ms_full_blinky.log │ │ │ ├── Sherloc_Blinky_ns_100ms_full_blinky.log │ │ │ ├── crc32_baseline.log │ │ │ ├── edn_baseline.log │ │ │ ├── ndes_baseline.log │ │ │ ├── FreeRTOS_MPU_ns_1_read_rtos.log │ │ │ ├── fasta_baseline.log │ │ │ ├── frac_baseline.log │ │ │ ├── nettle_aes_baseline.log │ │ │ ├── sglib_queue_baseline.log │ │ │ ├── st_baseline.log │ │ │ ├── bubblesort_baseline.log │ │ │ ├── levenshtein_baseline.log │ │ │ ├── nbody_baseline.log │ │ │ ├── nettle_arcfour_baseline.log │ │ │ ├── sglib_dllist_baseline.log │ │ │ ├── sglib_hashtable_baseline.log │ │ │ ├── sglib_listsort_baseline.log │ │ │ ├── FreeRTOS_MPU_ns_led_led_trigger_read.log │ │ │ ├── dijkstra_baseline.log │ │ │ ├── picojpeg_baseline.log │ │ │ ├── qrduino_baseline.log │ │ │ ├── rijndael_baseline.log │ │ │ ├── sglib_arraybinsearch_baseline.log │ │ │ ├── sglib_arrayheapsort_baseline.log │ │ │ ├── sglib_arrayquicksort_baseline.log │ │ │ ├── sglib_listinsertsort_baseline.log │ │ │ ├── sglib_rbtree_baseline.log │ │ │ ├── whetstone_baseline.log │ │ │ ├── FreeRTOS_MPU_ns_1_MPU_trigger_read.log │ │ │ ├── FreeRTOS_MPU_ns_1_ibt_freertos.log │ │ │ ├── FreeRTOS_MPU_ns_1_ins_rtos.log │ │ │ ├── FreeRTOS_MPU_ns_1_ibt_freertos_baseline.log │ │ │ ├── Sherloc_Blinky_ns_10ms_ibt_systick.log │ │ │ ├── FreeRTOS_MPU_ns_1_MPU_trigger_ins.log │ │ │ ├── FreeRTOS_MPU_ns_led_led_trigger_ins.log │ │ │ ├── Sherloc_Blinky_ns_100ms_ibt_systick.log │ │ │ ├── Sherloc_Blinky_ns_10ms_ibt_baseline_systick.log │ │ │ ├── Sherloc_Blinky_ns_100ms_ibt_baseline_systick.log │ │ │ ├── FreeRTOS_MPU_ns_task_vul_full_rtos.log │ │ │ ├── FreeRTOS_MPU_ns_task_novul_full_rtos.log │ │ │ ├── crc32_full_no_irq.log │ │ │ ├── edn_full_no_irq.log │ │ │ ├── ndes_full_no_irq.log │ │ │ ├── nettle_arcfour_full_no_irq.log │ │ │ ├── sglib_queue_full_no_irq.log │ │ │ ├── nettle_aes_full_no_irq.log │ │ │ ├── sglib_hashtable_full_no_irq.log │ │ │ ├── st_full_no_irq.log │ │ │ ├── fasta_full_no_irq.log │ │ │ ├── frac_full_no_irq.log │ │ │ ├── sglib_arraybinsearch_full_no_irq.log │ │ │ ├── sglib_arrayheapsort_full_no_irq.log │ │ │ ├── sglib_arrayquicksort_full_no_irq.log │ │ │ ├── sglib_dllist_full_no_irq.log │ │ │ ├── bubblesort_full_no_irq.log │ │ │ ├── levenshtein_full_no_irq.log │ │ │ ├── sglib_listinsertsort_full_no_irq.log │ │ │ ├── sglib_listsort_full_no_irq.log │ │ │ ├── sglib_rbtree_full_no_irq.log │ │ │ ├── FreeRTOS_MPU_ns_1_ss_irq_systick.log │ │ │ ├── FreeRTOS_MPU_ns_1_ss_no_irq_systick.log │ │ │ ├── rijndael_full_no_irq.log │ │ │ ├── dijkstra_full_no_irq.log │ │ │ ├── nbody_full_no_irq.log │ │ │ ├── picojpeg_full_no_irq.log │ │ │ ├── qrduino_full_no_irq.log │ │ │ ├── whetstone_full_no_irq.log │ │ │ ├── Sherloc_Blinky_ns_100ms_ss_irq_systick.log │ │ │ ├── Sherloc_Blinky_ns_10ms_ss_irq_systick.log │ │ │ ├── freertos_eval_result.csv │ │ │ ├── blinky_eval_result.csv │ │ │ ├── crc32_sherloc_read.log │ │ │ ├── ndes_sherloc_read.log │ │ │ ├── edn_sherloc_read.log │ │ │ ├── nettle_aes_sherloc_read.log │ │ │ ├── nettle_arcfour_sherloc_read.log │ │ │ ├── sglib_dllist_sherloc_read.log │ │ │ ├── sglib_hashtable_sherloc_read.log │ │ │ ├── sglib_queue_sherloc_read.log │ │ │ ├── sglib_listsort_sherloc_read.log │ │ │ ├── fasta_sherloc_read.log │ │ │ ├── sglib_arraybinsearch_sherloc_read.log │ │ │ ├── sglib_arrayheapsort_sherloc_read.log │ │ │ ├── sglib_arrayquicksort_sherloc_read.log │ │ │ ├── sglib_listinsertsort_sherloc_read.log │ │ │ ├── st_sherloc_read.log │ │ │ ├── bubblesort_sherloc_read.log │ │ │ ├── crc32_ibt_no_systick.log │ │ │ ├── frac_sherloc_read.log │ │ │ ├── levenshtein_sherloc_read.log │ │ │ ├── ndes_ibt_no_systick.log │ │ │ ├── sglib_rbtree_sherloc_read.log │ │ │ ├── crc32_ibt_baseline_no_systick.log │ │ │ ├── edn_ibt_no_systick.log │ │ │ ├── nettle_arcfour_ibt_no_systick.log │ │ │ ├── rijndael_sherloc_read.log │ │ │ ├── nbody_sherloc_read.log │ │ │ ├── ndes_ibt_baseline_no_systick.log │ │ │ ├── nettle_aes_ibt_no_systick.log │ │ │ ├── qrduino_sherloc_read.log │ │ │ ├── sglib_hashtable_ibt_no_systick.log │ │ │ ├── dijkstra_sherloc_read.log │ │ │ ├── edn_ibt_baseline_no_systick.log │ │ │ ├── nettle_arcfour_ibt_baseline_no_systick.log │ │ │ ├── picojpeg_sherloc_read.log │ │ │ ├── sglib_queue_ibt_no_systick.log │ │ │ ├── Sherloc_Blinky_ns_100ms_sherloc_read_systick.log │ │ │ ├── Sherloc_Blinky_ns_10ms_sherloc_read_systick.log │ │ │ ├── bubblesort_ibt_no_systick.log │ │ │ ├── fasta_ibt_no_systick.log │ │ │ ├── frac_ibt_no_systick.log │ │ │ ├── nettle_aes_ibt_baseline_no_systick.log │ │ │ ├── sglib_arraybinsearch_ibt_no_systick.log │ │ │ ├── sglib_arrayheapsort_ibt_no_systick.log │ │ │ ├── sglib_arrayquicksort_ibt_no_systick.log │ │ │ ├── sglib_dllist_ibt_no_systick.log │ │ │ ├── sglib_hashtable_ibt_baseline_no_systick.log │ │ │ ├── sglib_listinsertsort_ibt_no_systick.log │ │ │ ├── sglib_listsort_ibt_no_systick.log │ │ │ ├── sglib_queue_ibt_baseline_no_systick.log │ │ │ ├── whetstone_sherloc_read.log │ │ │ ├── st_ibt_no_systick.log │ │ │ ├── blinky_eval_result_final.csv │ │ │ ├── bubblesort_ibt_baseline_no_systick.log │ │ │ ├── fasta_ibt_baseline_no_systick.log │ │ │ ├── frac_ibt_baseline_no_systick.log │ │ │ ├── levenshtein_ibt_no_systick.log │ │ │ ├── sglib_arraybinsearch_ibt_baseline_no_systick.log │ │ │ ├── sglib_arrayheapsort_ibt_baseline_no_systick.log │ │ │ ├── sglib_arrayquicksort_ibt_baseline_no_systick.log │ │ │ ├── sglib_dllist_ibt_baseline_no_systick.log │ │ │ ├── sglib_listinsertsort_ibt_baseline_no_systick.log │ │ │ ├── sglib_listsort_ibt_baseline_no_systick.log │ │ │ ├── levenshtein_ibt_baseline_no_systick.log │ │ │ ├── rijndael_ibt_no_systick.log │ │ │ ├── sglib_rbtree_ibt_no_systick.log │ │ │ ├── st_ibt_baseline_no_systick.log │ │ │ ├── nbody_ibt_no_systick.log │ │ │ └── picojpeg_ibt_no_systick.log │ │ ├── elf_ns │ │ │ ├── st.axf │ │ │ ├── crc32.axf │ │ │ ├── edn.axf │ │ │ ├── fasta.axf │ │ │ ├── frac.axf │ │ │ ├── nbody.axf │ │ │ ├── ndes.axf │ │ │ ├── qrduino.axf │ │ │ ├── bubblesort.axf │ │ │ ├── dijkstra.axf │ │ │ ├── nettle_aes.axf │ │ │ ├── picojpeg.axf │ │ │ ├── rijndael.axf │ │ │ ├── whetstone.axf │ │ │ ├── levenshtein.axf │ │ │ ├── sglib_dllist.axf │ │ │ ├── sglib_queue.axf │ │ │ ├── sglib_rbtree.axf │ │ │ ├── nettle_arcfour.axf │ │ │ ├── sglib_hashtable.axf │ │ │ ├── sglib_listsort.axf │ │ │ ├── FreeRTOS_MPU_ns_1.axf │ │ │ ├── FreeRTOS_MPU_ns_MPU.axf │ │ │ ├── FreeRTOS_MPU_ns_led.axf │ │ │ ├── FreeRTOS_MPU_ns_vul.axf │ │ │ ├── FreeRTOS_MPU_ns_vul1.axf │ │ │ ├── sglib_arraybinsearch.axf │ │ │ ├── sglib_arrayheapsort.axf │ │ │ ├── sglib_arrayquicksort.axf │ │ │ ├── sglib_listinsertsort.axf │ │ │ ├── FreeRTOS_MPU_ns_novul.axf │ │ │ ├── Sherloc_Blinky_ns_10ms.axf │ │ │ ├── FreeRTOS_MPU_ns_task_vul.axf │ │ │ ├── Sherloc_Blinky_ns_100ms.axf │ │ │ └── FreeRTOS_MPU_ns_task_novul.axf │ │ └── metadata │ │ │ ├── edn.bin │ │ │ ├── st.bin │ │ │ ├── crc32.bin │ │ │ ├── fasta.bin │ │ │ ├── frac.bin │ │ │ ├── nbody.bin │ │ │ ├── ndes.bin │ │ │ ├── dijkstra.bin │ │ │ ├── picojpeg.bin │ │ │ ├── qrduino.bin │ │ │ ├── rijndael.bin │ │ │ ├── bubblesort.bin │ │ │ ├── nettle_aes.bin │ │ │ ├── whetstone.bin │ │ │ ├── levenshtein.bin │ │ │ ├── sglib_dllist.bin │ │ │ ├── sglib_queue.bin │ │ │ ├── sglib_rbtree.bin │ │ │ ├── nettle_arcfour.bin │ │ │ ├── sglib_hashtable.bin │ │ │ ├── sglib_listsort.bin │ │ │ ├── FreeRTOS_MPU_ns_1.bin │ │ │ ├── Sherloc_Blinky_ns.bin │ │ │ ├── FreeRTOS_MPU_ns_led.bin │ │ │ ├── FreeRTOS_MPU_ns_vul.bin │ │ │ ├── sglib_arraybinsearch.bin │ │ │ ├── sglib_arrayheapsort.bin │ │ │ ├── sglib_arrayquicksort.bin │ │ │ ├── sglib_listinsertsort.bin │ │ │ ├── FreeRTOS_MPU_ns_novul.bin │ │ │ ├── Sherloc_Blinky_ns_100ms.bin │ │ │ ├── Sherloc_Blinky_ns_10ms.bin │ │ │ ├── FreeRTOS_MPU_ns_task_vul.bin │ │ │ └── FreeRTOS_MPU_ns_task_novul.bin │ │ ├── Oz │ │ ├── eval_log │ │ │ ├── FreeRTOS_MPU_ns_1_baseline_rtos.log │ │ │ ├── FreeRTOS_MPU_ns_led_baseline_rtos.log │ │ │ ├── FreeRTOS_MPU_ns_1_MPU_trigger.log │ │ │ ├── FreeRTOS_MPU_ns_1_MPU_trigger_IBT.log │ │ │ ├── FreeRTOS_MPU_ns_led_led_trigger.log │ │ │ ├── FreeRTOS_MPU_ns_led_led_trigger_IBT.log │ │ │ ├── Sherloc_Blinky_ns_100ms_baseline_blinky.log │ │ │ ├── Sherloc_Blinky_ns_10ms_baseline_blinky.log │ │ │ ├── FreeRTOS_MPU_ns_1_MPU_trigger_IBT_baseline.log │ │ │ ├── FreeRTOS_MPU_ns_led_led_trigger_IBT_baseline.log │ │ │ ├── FreeRTOS_MPU_ns_1_full_rtos.log │ │ │ ├── Sherloc_Blinky_ns_100ms_full_blinky.log │ │ │ ├── Sherloc_Blinky_ns_10ms_full_blinky.log │ │ │ ├── crc32_baseline.log │ │ │ ├── edn_baseline.log │ │ │ ├── fasta_baseline.log │ │ │ ├── frac_baseline.log │ │ │ ├── levenshtein_baseline.log │ │ │ ├── ndes_baseline.log │ │ │ ├── sglib_queue_baseline.log │ │ │ ├── st_baseline.log │ │ │ ├── bubblesort_baseline.log │ │ │ ├── nbody_baseline.log │ │ │ ├── nettle_aes_baseline.log │ │ │ ├── nettle_arcfour_baseline.log │ │ │ ├── sglib_dllist_baseline.log │ │ │ ├── sglib_hashtable_baseline.log │ │ │ ├── sglib_listsort_baseline.log │ │ │ ├── FreeRTOS_MPU_ns_1_baseline.log │ │ │ ├── FreeRTOS_MPU_ns_1_read_rtos.log │ │ │ ├── FreeRTOS_MPU_ns_led_led_trigger_read.log │ │ │ ├── dijkstra_baseline.log │ │ │ ├── picojpeg_baseline.log │ │ │ ├── qrduino_baseline.log │ │ │ ├── rijndael_baseline.log │ │ │ ├── sglib_arraybinsearch_baseline.log │ │ │ ├── sglib_arrayheapsort_baseline.log │ │ │ ├── sglib_arrayquicksort_baseline.log │ │ │ ├── sglib_listinsertsort_baseline.log │ │ │ ├── sglib_rbtree_baseline.log │ │ │ ├── whetstone_baseline.log │ │ │ ├── FreeRTOS_MPU_ns_1_MPU_trigger_read.log │ │ │ ├── FreeRTOS_MPU_ns_1_ibt_freertos.log │ │ │ ├── FreeRTOS_MPU_ns_1_ibt_freertos_baseline.log │ │ │ ├── FreeRTOS_MPU_ns_1_ins_rtos.log │ │ │ ├── FreeRTOS_MPU_ns_led_led_trigger_ins.log │ │ │ ├── Sherloc_Blinky_ns_100ms_ibt_systick.log │ │ │ ├── Sherloc_Blinky_ns_10ms_ibt_systick.log │ │ │ ├── FreeRTOS_MPU_ns_1_MPU_trigger_ins.log │ │ │ ├── Sherloc_Blinky_ns_100ms_ibt_baseline_systick.log │ │ │ ├── Sherloc_Blinky_ns_10ms_ibt_baseline_systick.log │ │ │ ├── FreeRTOS_MPU_ns_vul_full_irq_rtos.log │ │ │ ├── crc32_full_no_irq.log │ │ │ ├── edn_full_no_irq.log │ │ │ ├── sglib_queue_full_no_irq.log │ │ │ ├── fasta_full_no_irq.log │ │ │ ├── frac_full_no_irq.log │ │ │ ├── levenshtein_full_no_irq.log │ │ │ ├── ndes_full_no_irq.log │ │ │ ├── nettle_aes_full_no_irq.log │ │ │ ├── nettle_arcfour_full_no_irq.log │ │ │ ├── sglib_arraybinsearch_full_no_irq.log │ │ │ ├── sglib_dllist_full_no_irq.log │ │ │ ├── st_full_no_irq.log │ │ │ ├── bubblesort_full_no_irq.log │ │ │ ├── sglib_arrayheapsort_full_no_irq.log │ │ │ ├── sglib_arrayquicksort_full_no_irq.log │ │ │ ├── sglib_hashtable_full_no_irq.log │ │ │ ├── sglib_listsort_full_no_irq.log │ │ │ ├── sglib_rbtree_full_no_irq.log │ │ │ ├── FreeRTOS_MPU_ns_1_ss_irq_systick.log │ │ │ ├── FreeRTOS_MPU_ns_1_ss_no_irq_systick.log │ │ │ ├── sglib_listinsertsort_full_no_irq.log │ │ │ ├── dijkstra_full_no_irq.log │ │ │ ├── nbody_full_no_irq.log │ │ │ ├── picojpeg_full_no_irq.log │ │ │ ├── qrduino_full_no_irq.log │ │ │ ├── rijndael_full_no_irq.log │ │ │ ├── whetstone_full_no_irq.log │ │ │ ├── Sherloc_Blinky_ns_100ms_ss_irq_systick.log │ │ │ ├── Sherloc_Blinky_ns_10ms_ss_irq_systick.log │ │ │ ├── freertos_eval_result.csv │ │ │ ├── blinky_eval_result.csv │ │ │ ├── crc32_sherloc_read.log │ │ │ ├── sglib_queue_sherloc_read.log │ │ │ ├── levenshtein_sherloc_read.log │ │ │ ├── nettle_arcfour_sherloc_read.log │ │ │ ├── sglib_dllist_sherloc_read.log │ │ │ ├── crc32_ibt_enter_no_systick.log │ │ │ ├── ndes_sherloc_read.log │ │ │ ├── nettle_aes_sherloc_read.log │ │ │ ├── sglib_arraybinsearch_sherloc_read.log │ │ │ ├── sglib_arrayheapsort_sherloc_read.log │ │ │ ├── sglib_arrayquicksort_sherloc_read.log │ │ │ ├── sglib_hashtable_sherloc_read.log │ │ │ ├── sglib_listsort_sherloc_read.log │ │ │ ├── st_sherloc_read.log │ │ │ ├── edn_sherloc_read.log │ │ │ ├── frac_sherloc_read.log │ │ │ ├── nettle_arcfour_ibt_enter_no_systick.log │ │ │ ├── sglib_listinsertsort_sherloc_read.log │ │ │ ├── sglib_queue_ibt_enter_no_systick.log │ │ │ ├── bubblesort_sherloc_read.log │ │ │ ├── edn_ibt_enter_no_systick.log │ │ │ ├── frac_ibt_enter_no_systick.log │ │ │ ├── sglib_arrayheapsort_ibt_enter_no_systick.log │ │ │ ├── sglib_listsort_ibt_enter_no_systick.log │ │ │ ├── sglib_rbtree_sherloc_read.log │ │ │ ├── st_ibt_enter_no_systick.log │ │ │ ├── crc32_ibt_no_systick.log │ │ │ ├── fasta_ibt_enter_no_systick.log │ │ │ ├── levenshtein_ibt_enter_no_systick.log │ │ │ ├── nettle_aes_ibt_enter_no_systick.log │ │ │ ├── sglib_arraybinsearch_ibt_enter_no_systick.log │ │ │ ├── sglib_arrayquicksort_ibt_enter_no_systick.log │ │ │ ├── sglib_dllist_ibt_enter_no_systick.log │ │ │ ├── sglib_hashtable_ibt_enter_no_systick.log │ │ │ ├── bubblesort_ibt_enter_no_systick.log │ │ │ ├── sglib_rbtree_ibt_enter_no_systick.log │ │ │ ├── crc32_ibt_baseline_no_systick.log │ │ │ ├── nbody_sherloc_read.log │ │ │ ├── nettle_arcfour_ibt_no_systick.log │ │ │ ├── qrduino_sherloc_read.log │ │ │ ├── rijndael_sherloc_read.log │ │ │ ├── sglib_listinsertsort_ibt_enter_no_systick.log │ │ │ ├── Sherloc_Blinky_ns_100ms_sherloc_read_systick.log │ │ │ ├── Sherloc_Blinky_ns_10ms_sherloc_read_systick.log │ │ │ ├── blinky_eval_result_final.csv │ │ │ ├── dijkstra_ibt_enter_no_systick.log │ │ │ ├── dijkstra_sherloc_read.log │ │ │ ├── frac_ibt_no_systick.log │ │ │ ├── nbody_ibt_enter_no_systick.log │ │ │ ├── ndes_ibt_no_systick.log │ │ │ ├── nettle_aes_ibt_no_systick.log │ │ │ ├── picojpeg_sherloc_read.log │ │ │ ├── rijndael_ibt_enter_no_systick.log │ │ │ ├── sglib_arraybinsearch_ibt_no_systick.log │ │ │ ├── sglib_arrayheapsort_ibt_no_systick.log │ │ │ ├── sglib_arrayquicksort_ibt_no_systick.log │ │ │ ├── sglib_queue_ibt_no_systick.log │ │ │ ├── whetstone_sherloc_read.log │ │ │ ├── edn_ibt_no_systick.log │ │ │ ├── fasta_ibt_no_systick.log │ │ │ ├── levenshtein_ibt_no_systick.log │ │ │ ├── ndes_ibt_enter_no_systick.log │ │ │ ├── nettle_arcfour_ibt_baseline_no_systick.log │ │ │ ├── sglib_dllist_ibt_no_systick.log │ │ │ ├── sglib_hashtable_ibt_no_systick.log │ │ │ ├── sglib_listsort_ibt_no_systick.log │ │ │ ├── sglib_queue_ibt_baseline_no_systick.log │ │ │ ├── st_ibt_no_systick.log │ │ │ ├── bubblesort_ibt_no_systick.log │ │ │ ├── frac_ibt_baseline_no_systick.log │ │ │ ├── levenshtein_ibt_baseline_no_systick.log │ │ │ ├── ndes_ibt_baseline_no_systick.log │ │ │ ├── nettle_aes_ibt_baseline_no_systick.log │ │ │ ├── sglib_arraybinsearch_ibt_baseline_no_systick.log │ │ │ ├── sglib_arrayheapsort_ibt_baseline_no_systick.log │ │ │ ├── sglib_arrayquicksort_ibt_baseline_no_systick.log │ │ │ ├── sglib_listinsertsort_ibt_no_systick.log │ │ │ ├── edn_ibt_baseline_no_systick.log │ │ │ ├── fasta_ibt_baseline_no_systick.log │ │ │ ├── picojpeg_ibt_enter_no_systick.log │ │ │ ├── sglib_dllist_ibt_baseline_no_systick.log │ │ │ ├── sglib_hashtable_ibt_baseline_no_systick.log │ │ │ ├── sglib_listsort_ibt_baseline_no_systick.log │ │ │ ├── sglib_rbtree_ibt_no_systick.log │ │ │ ├── st_ibt_baseline_no_systick.log │ │ │ ├── bubblesort_ibt_baseline_no_systick.log │ │ │ └── nbody_ibt_no_systick.log │ │ ├── elf_ns │ │ │ ├── st.axf │ │ │ ├── crc32.axf │ │ │ ├── edn.axf │ │ │ ├── fasta.axf │ │ │ ├── frac.axf │ │ │ ├── nbody.axf │ │ │ ├── ndes.axf │ │ │ ├── qrduino.axf │ │ │ ├── bubblesort.axf │ │ │ ├── dijkstra.axf │ │ │ ├── nettle_aes.axf │ │ │ ├── picojpeg.axf │ │ │ ├── rijndael.axf │ │ │ ├── whetstone.axf │ │ │ ├── levenshtein.axf │ │ │ ├── sglib_dllist.axf │ │ │ ├── sglib_queue.axf │ │ │ ├── sglib_rbtree.axf │ │ │ ├── nettle_arcfour.axf │ │ │ ├── sglib_hashtable.axf │ │ │ ├── sglib_listsort.axf │ │ │ ├── FreeRTOS_MPU_ns_1.axf │ │ │ ├── FreeRTOS_MPU_ns_MPU.axf │ │ │ ├── FreeRTOS_MPU_ns_led.axf │ │ │ ├── FreeRTOS_MPU_ns_vul.axf │ │ │ ├── sglib_arraybinsearch.axf │ │ │ ├── sglib_arrayheapsort.axf │ │ │ ├── sglib_arrayquicksort.axf │ │ │ ├── sglib_listinsertsort.axf │ │ │ ├── FreeRTOS_MPU_ns_micro.axf │ │ │ ├── FreeRTOS_MPU_ns_novul.axf │ │ │ ├── Sherloc_Blinky_ns_10ms.axf │ │ │ ├── FreeRTOS_MPU_ns_micro_2.axf │ │ │ └── Sherloc_Blinky_ns_100ms.axf │ │ └── metadata │ │ │ ├── edn.bin │ │ │ ├── st.bin │ │ │ ├── crc32.bin │ │ │ ├── fasta.bin │ │ │ ├── frac.bin │ │ │ ├── nbody.bin │ │ │ ├── ndes.bin │ │ │ ├── dijkstra.bin │ │ │ ├── picojpeg.bin │ │ │ ├── qrduino.bin │ │ │ ├── rijndael.bin │ │ │ ├── bubblesort.bin │ │ │ ├── nettle_aes.bin │ │ │ ├── whetstone.bin │ │ │ ├── levenshtein.bin │ │ │ ├── sglib_dllist.bin │ │ │ ├── sglib_queue.bin │ │ │ ├── sglib_rbtree.bin │ │ │ ├── nettle_arcfour.bin │ │ │ ├── sglib_hashtable.bin │ │ │ ├── sglib_listsort.bin │ │ │ ├── FreeRTOS_MPU_ns_1.bin │ │ │ ├── Sherloc_Blinky_ns.bin │ │ │ ├── FreeRTOS_MPU_ns_led.bin │ │ │ ├── FreeRTOS_MPU_ns_vul.bin │ │ │ ├── sglib_arraybinsearch.bin │ │ │ ├── sglib_arrayheapsort.bin │ │ │ ├── sglib_arrayquicksort.bin │ │ │ ├── sglib_listinsertsort.bin │ │ │ ├── FreeRTOS_MPU_ns_novul.bin │ │ │ ├── Sherloc_Blinky_ns_100ms.bin │ │ │ └── Sherloc_Blinky_ns_10ms.bin │ │ └── ibt_size.log ├── Sherloc_S_NS │ └── Sherloc_ns │ │ └── RTE │ │ ├── _FVP │ │ └── RTE_Components.h │ │ └── _V2M-MPS2_ │ │ └── RTE_Components.h ├── Vulfoo_S_NS │ └── FreeRTOS_MPU_ns │ │ └── RTE │ │ ├── _FVP │ │ └── RTE_Components.h │ │ └── _V2M-MPS2_ │ │ └── RTE_Components.h ├── Trigger_S_NS │ └── FreeRTOS_MPU_ns │ │ └── RTE │ │ ├── _FVP │ │ └── RTE_Components.h │ │ └── _V2M-MPS2_ │ │ └── RTE_Components.h ├── Vulfoo_Task_S_NS │ └── FreeRTOS_MPU_ns │ │ └── RTE │ │ ├── _FVP │ │ └── RTE_Components.h │ │ └── _V2M-MPS2_ │ │ └── RTE_Components.h ├── Sherloc_Blinky_S_NS │ └── Sherloc_Blinky_ns │ │ └── RTE │ │ └── _FVP │ │ └── RTE_Components.h └── Sherloc_FreeRTOS_MPU_S_NS │ ├── FreeRTOS_MPU_ns │ └── RTE │ │ ├── _FVP │ │ └── RTE_Components.h │ │ └── _V2M-MPS2_ │ │ └── RTE_Components.h │ └── Sherloc_s │ └── TeeCI_s_build.log ├── pics ├── setup.jpg ├── setup1.jpg └── setup2.jpg └── host_tools └── evaluation ├── README.md ├── elf_s ├── ins.axf ├── baseline.axf ├── full_rtos.axf ├── ins_rtos.axf ├── read_rtos.axf ├── MPU_trigger.axf ├── emu_blinky.axf ├── full_blinky.axf ├── full_no_irq.axf ├── ibt_systick.axf ├── ins_systick.axf ├── led_trigger.axf ├── baseline_rtos.axf ├── ibt_freertos.axf ├── ibt_no_systick.axf ├── MPU_trigger_IBT.axf ├── MPU_trigger_ins.axf ├── MPU_trigger_read.axf ├── baseline_blinky.axf ├── baseline_systick.axf ├── led_trigger_IBT.axf ├── led_trigger_ins.axf ├── led_trigger_read.axf ├── ibt_baseline_systick.axf ├── ibt_enter_no_systick.axf ├── ibt_freertos_baseline.axf ├── sherloc_read_systick.axf ├── MPU_trigger_IBT_baseline.axf ├── ibt_baseline_no_systick.axf └── led_trigger_IBT_baseline.axf ├── count_ins_types.log ├── requirements.txt └── eval_result_template.csv /Sherloc_runtime/evaluation/src/cubic/.gitignore: -------------------------------------------------------------------------------- 1 | cubic 2 | -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/slre/.gitignore: -------------------------------------------------------------------------------- 1 | slre 2 | -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/picojpeg/.gitignore: -------------------------------------------------------------------------------- 1 | picojpeg 2 | -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/qrduino/.gitignore: -------------------------------------------------------------------------------- 1 | qrduino 2 | -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/rijndael/.gitignore: -------------------------------------------------------------------------------- 1 | rijndael 2 | -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/sglib_dllist/.gitignore: -------------------------------------------------------------------------------- 1 | sglib-dllist 2 | -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/sglib_queue/.gitignore: -------------------------------------------------------------------------------- 1 | sglib-queue 2 | -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/sglib_rbtree/.gitignore: -------------------------------------------------------------------------------- 1 | sglib-rbtree 2 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_baseline_rtos.log: -------------------------------------------------------------------------------- 1 | NONE: 825593 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_baseline_rtos.log: -------------------------------------------------------------------------------- 1 | NONE: 15915207 -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/sglib_hashtable/.gitignore: -------------------------------------------------------------------------------- 1 | sglib-hashtable 2 | -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/sglib_listsort/.gitignore: -------------------------------------------------------------------------------- 1 | sglib-listsort 2 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_led_baseline_rtos.log: -------------------------------------------------------------------------------- 1 | NONE: 3972225 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_led_baseline_rtos.log: -------------------------------------------------------------------------------- 1 | NONE: 5849638 -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/sglib_arraybinsearch/.gitignore: -------------------------------------------------------------------------------- 1 | sglib-arraybinsearch 2 | -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/sglib_arrayheapsort/.gitignore: -------------------------------------------------------------------------------- 1 | sglib-arrayheapsort 2 | -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/sglib_arrayquicksort/.gitignore: -------------------------------------------------------------------------------- 1 | sglib-arrayquicksort 2 | -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/src/sglib_listinsertsort/.gitignore: -------------------------------------------------------------------------------- 1 | sglib-listinsertsort 2 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_MPU_trigger.log: -------------------------------------------------------------------------------- 1 | Trigger: 1522126, enter_exit: 852909 -------------------------------------------------------------------------------- /pics/setup.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/pics/setup.jpg -------------------------------------------------------------------------------- /pics/setup1.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/pics/setup1.jpg -------------------------------------------------------------------------------- /pics/setup2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/pics/setup2.jpg -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_MPU_trigger_IBT.log: -------------------------------------------------------------------------------- 1 | Trigger: 1340713, enter_exit: 852909 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_MPU_trigger.log: -------------------------------------------------------------------------------- 1 | Trigger: 28700139, enter_exit: 15998964 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_led_led_trigger.log: -------------------------------------------------------------------------------- 1 | Trigger: 3977354, enter_exit: 3972225 2 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_led_led_trigger_IBT.log: -------------------------------------------------------------------------------- 1 | Trigger: 3977395, enter_exit: 3972225 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_MPU_trigger_IBT.log: -------------------------------------------------------------------------------- 1 | Trigger: 25000164, enter_exit: 15998964 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_led_led_trigger.log: -------------------------------------------------------------------------------- 1 | Trigger: 5854767, enter_exit: 5849638 2 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_led_led_trigger_IBT.log: -------------------------------------------------------------------------------- 1 | Trigger: 5854592, enter_exit: 5849638 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_100ms_baseline_blinky.log: -------------------------------------------------------------------------------- 1 | NONE: 604624507 2 | NONE: 604624507 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_10ms_baseline_blinky.log: -------------------------------------------------------------------------------- 1 | NONE: 98374001 2 | NONE: 98374001 -------------------------------------------------------------------------------- /host_tools/evaluation/README.md: -------------------------------------------------------------------------------- 1 | 2 | 3 | ![setup](../../pics/setup1.jpg) 4 | ![setup](../../pics/setup2.jpg) -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_MPU_trigger_IBT_baseline.log: -------------------------------------------------------------------------------- 1 | Trigger: 1211988, enter_exit: 852982 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_led_led_trigger_IBT_baseline.log: -------------------------------------------------------------------------------- 1 | Trigger: 3976688, enter_exit: 3972225 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_MPU_trigger_IBT_baseline.log: -------------------------------------------------------------------------------- 1 | Trigger: 22499635, enter_exit: 16000249 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_led_led_trigger_IBT_baseline.log: -------------------------------------------------------------------------------- 1 | Trigger: 5854101, enter_exit: 5849638 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_full_rtos.log: -------------------------------------------------------------------------------- 1 | EVAL: 10504233, enter_exit: 873838, sherloc_detection: 9630395 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_10ms_baseline_blinky.log: -------------------------------------------------------------------------------- 1 | NONE: 77755257 2 | NONE: 77755257 3 | NONE: 77755257 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_100ms_baseline_blinky.log: -------------------------------------------------------------------------------- 1 | NONE: 584009621 2 | NONE: 584009621 3 | NONE: 584009621 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_full_rtos.log: -------------------------------------------------------------------------------- 1 | EVAL: 191975443, enter_exit: 16489509, sherloc_detection: 175485934 -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/st.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/st.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_10ms_full_blinky.log: -------------------------------------------------------------------------------- 1 | EVAL: 173562019, enter_exit: 77887819, sherloc_detection: 95674200 -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/st.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/st.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/crc32.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/crc32.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/edn.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/edn.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/fasta.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/fasta.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/frac.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/frac.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/nbody.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/nbody.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/ndes.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/ndes.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_100ms_full_blinky.log: -------------------------------------------------------------------------------- 1 | EVAL: 1510274728, enter_exit: 585101381, sherloc_detection: 925173347 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/crc32_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 1974016 2 | NONE: 1974016 3 | NONE: 1974016 4 | NONE: 1974016 5 | NONE: 1974016 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/edn_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 5779712 2 | NONE: 5779712 3 | NONE: 5779712 4 | NONE: 5779712 5 | NONE: 5779712 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/ndes_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 2447699 2 | NONE: 2447620 3 | NONE: 2447619 4 | NONE: 2447619 5 | NONE: 2447619 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/edn.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/edn.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/st.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/st.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/crc32.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/crc32.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/edn.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/edn.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/fasta.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/fasta.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/frac.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/frac.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/nbody.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/nbody.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/ndes.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/ndes.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_100ms_full_blinky.log: -------------------------------------------------------------------------------- 1 | EVAL: 2908678236, enter_exit: 607922391, sherloc_detection: 2300755845 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_10ms_full_blinky.log: -------------------------------------------------------------------------------- 1 | EVAL: 604169678, enter_exit: 100713581, sherloc_detection: 503456097 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/crc32_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 2887430 2 | NONE: 2887430 3 | NONE: 2887430 4 | NONE: 2887430 5 | NONE: 2887430 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/edn.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/edn.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/st.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/st.bin -------------------------------------------------------------------------------- /Sherloc_runtime/lib/Sherloc_s_Lib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Sherloc_runtime/lib/Sherloc_s_Lib.o -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/ins.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/ins.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/qrduino.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/qrduino.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_read_rtos.log: -------------------------------------------------------------------------------- 1 | EVAL: 878833, enter_exit: 871063, sherloc_read: 7770, sherloc_read_garbage: 282882 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/fasta_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 15243008 2 | NONE: 15243008 3 | NONE: 15243008 4 | NONE: 15243008 5 | NONE: 15243008 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/frac_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 16347136 2 | NONE: 16347136 3 | NONE: 16347136 4 | NONE: 16347136 5 | NONE: 16347136 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nettle_aes_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 9449216 2 | NONE: 9449216 3 | NONE: 9449216 4 | NONE: 9449216 5 | NONE: 9449216 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_queue_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 3607296 2 | NONE: 3607296 3 | NONE: 3607296 4 | NONE: 3607296 5 | NONE: 3607296 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/st_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 29733632 2 | NONE: 29733632 3 | NONE: 29733632 4 | NONE: 29733632 5 | NONE: 29733632 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/crc32.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/crc32.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/fasta.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/fasta.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/frac.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/frac.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/nbody.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/nbody.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/ndes.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/ndes.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/qrduino.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/qrduino.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/edn_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 11157767 2 | NONE: 11157767 3 | NONE: 11157767 4 | NONE: 11157767 5 | NONE: 11157767 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/fasta_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 28821490 2 | NONE: 28821481 3 | NONE: 28821439 4 | NONE: 28821457 5 | NONE: 28821475 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/frac_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 15928838 2 | NONE: 15928838 3 | NONE: 15928838 4 | NONE: 15928838 5 | NONE: 15928838 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/levenshtein_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 9835526 2 | NONE: 9835526 3 | NONE: 9835526 4 | NONE: 9835526 5 | NONE: 9835526 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/ndes_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 10185993 2 | NONE: 10185735 3 | NONE: 10185735 4 | NONE: 10185735 5 | NONE: 10185735 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_queue_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 3740422 2 | NONE: 3740422 3 | NONE: 3740422 4 | NONE: 3740422 5 | NONE: 3740422 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/st_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 38801670 2 | NONE: 38801670 3 | NONE: 38801670 4 | NONE: 38801670 5 | NONE: 38801670 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/crc32.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/crc32.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/fasta.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/fasta.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/frac.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/frac.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/nbody.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/nbody.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/ndes.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/ndes.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/bubblesort.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/bubblesort.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/dijkstra.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/dijkstra.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/nettle_aes.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/nettle_aes.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/picojpeg.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/picojpeg.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/rijndael.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/rijndael.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/whetstone.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/whetstone.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/bubblesort_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 11720703 2 | NONE: 11720703 3 | NONE: 11720703 4 | NONE: 11720703 5 | NONE: 11720703 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/levenshtein_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 10071552 2 | NONE: 10071552 3 | NONE: 10071552 4 | NONE: 10071552 5 | NONE: 10071552 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nbody_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 179065435 2 | NONE: 179065856 3 | NONE: 179065856 4 | NONE: 179065856 5 | NONE: 179065856 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nettle_arcfour_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 1939712 2 | NONE: 1939712 3 | NONE: 1939712 4 | NONE: 1939712 5 | NONE: 1939712 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_dllist_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 4420871 2 | NONE: 4420864 3 | NONE: 4420864 4 | NONE: 4420864 5 | NONE: 4420864 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_hashtable_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 1326855 2 | NONE: 1326848 3 | NONE: 1326848 4 | NONE: 1326848 5 | NONE: 1326848 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_listsort_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 3560199 2 | NONE: 3560192 3 | NONE: 3560192 4 | NONE: 3560192 5 | NONE: 3560192 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/dijkstra.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/dijkstra.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/picojpeg.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/picojpeg.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/qrduino.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/qrduino.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/rijndael.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/rijndael.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/bubblesort.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/bubblesort.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/dijkstra.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/dijkstra.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/nettle_aes.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/nettle_aes.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/picojpeg.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/picojpeg.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/rijndael.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/rijndael.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/whetstone.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/whetstone.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/bubblesort_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 21071877 2 | NONE: 21071877 3 | NONE: 21071877 4 | NONE: 21071877 5 | NONE: 21071877 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nbody_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 188440418 2 | NONE: 188440839 3 | NONE: 188440839 4 | NONE: 188440839 5 | NONE: 188440839 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_aes_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 11766791 2 | NONE: 11766791 3 | NONE: 11766791 4 | NONE: 11766791 5 | NONE: 11766791 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_arcfour_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 3336197 2 | NONE: 3336197 3 | NONE: 3336197 4 | NONE: 3336197 5 | NONE: 3336197 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_dllist_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 6462214 2 | NONE: 6462214 3 | NONE: 6462214 4 | NONE: 6462214 5 | NONE: 6462214 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_hashtable_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 4240134 2 | NONE: 4240134 3 | NONE: 4240134 4 | NONE: 4240134 5 | NONE: 4240134 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_listsort_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 4448774 2 | NONE: 4448774 3 | NONE: 4448774 4 | NONE: 4448774 5 | NONE: 4448774 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/dijkstra.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/dijkstra.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/picojpeg.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/picojpeg.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/qrduino.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/qrduino.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/rijndael.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/rijndael.bin -------------------------------------------------------------------------------- /Sherloc_runtime/lib/Sherloc_s_IRQ_Lib.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Sherloc_runtime/lib/Sherloc_s_IRQ_Lib.o -------------------------------------------------------------------------------- /host_tools/evaluation/count_ins_types.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/count_ins_types.log -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/baseline.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/baseline.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/full_rtos.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/full_rtos.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/ins_rtos.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/ins_rtos.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/read_rtos.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/read_rtos.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/levenshtein.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/levenshtein.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/sglib_dllist.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/sglib_dllist.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/sglib_queue.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/sglib_queue.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/sglib_rbtree.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/sglib_rbtree.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_led_led_trigger_read.log: -------------------------------------------------------------------------------- 1 | Trigger: 3976187, enter_exit: 3972225, sherloc_read: 3962, sherloc_read_garbage: 500 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/dijkstra_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 110831359 2 | NONE: 110831359 3 | NONE: 110831359 4 | NONE: 110831359 5 | NONE: 110831359 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/picojpeg_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 116062464 2 | NONE: 116062464 3 | NONE: 116062464 4 | NONE: 116062464 5 | NONE: 116062464 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/qrduino_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 125028368 2 | NONE: 125028356 3 | NONE: 125028356 4 | NONE: 125028356 5 | NONE: 125028356 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/rijndael_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 112536834 2 | NONE: 112536832 3 | NONE: 112536832 4 | NONE: 112536832 5 | NONE: 112536832 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arraybinsearch_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 2181120 2 | NONE: 2181120 3 | NONE: 2181120 4 | NONE: 2181120 5 | NONE: 2181120 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arrayheapsort_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 3284224 2 | NONE: 3284224 3 | NONE: 3284224 4 | NONE: 3284224 5 | NONE: 3284224 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arrayquicksort_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 2159360 2 | NONE: 2159360 3 | NONE: 2159360 4 | NONE: 2159360 5 | NONE: 2159360 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_listinsertsort_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 4519943 2 | NONE: 4519936 3 | NONE: 4519936 4 | NONE: 4519936 5 | NONE: 4519936 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_rbtree_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 16473351 2 | NONE: 16473344 3 | NONE: 16473344 4 | NONE: 16473344 5 | NONE: 16473344 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/whetstone_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 242801664 2 | NONE: 242801664 3 | NONE: 242801664 4 | NONE: 242801664 5 | NONE: 242801664 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/bubblesort.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/bubblesort.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/nettle_aes.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/nettle_aes.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/whetstone.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/whetstone.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/levenshtein.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/levenshtein.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/sglib_dllist.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/sglib_dllist.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/sglib_queue.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/sglib_queue.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/sglib_rbtree.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/sglib_rbtree.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 3166759 2 | NONE: 3192017 3 | NONE: 3192017 4 | NONE: 3166758 5 | NONE: 3192019 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_read_rtos.log: -------------------------------------------------------------------------------- 1 | EVAL: 16580598, enter_exit: 16438904, sherloc_read: 141694, sherloc_read_garbage: 5156436 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_led_led_trigger_read.log: -------------------------------------------------------------------------------- 1 | Trigger: 5853600, enter_exit: 5849638, sherloc_read: 3962, sherloc_read_garbage: 500 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/dijkstra_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 133043974 2 | NONE: 133043974 3 | NONE: 133043974 4 | NONE: 133043974 5 | NONE: 133043974 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/picojpeg_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 167824902 2 | NONE: 167824902 3 | NONE: 167824902 4 | NONE: 167824902 5 | NONE: 167824902 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/qrduino_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 166511622 2 | NONE: 166511622 3 | NONE: 166511622 4 | NONE: 166511622 5 | NONE: 166511622 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/rijndael_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 143749322 2 | NONE: 143749318 3 | NONE: 143749318 4 | NONE: 143749318 5 | NONE: 143749318 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arraybinsearch_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 2928902 2 | NONE: 2928902 3 | NONE: 2928902 4 | NONE: 2928902 5 | NONE: 2928902 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayheapsort_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 3245830 2 | NONE: 3245830 3 | NONE: 3245830 4 | NONE: 3245830 5 | NONE: 3245830 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayquicksort_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 2073350 2 | NONE: 2073350 3 | NONE: 2073350 4 | NONE: 2073350 5 | NONE: 2073350 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_listinsertsort_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 7170823 2 | NONE: 7170823 3 | NONE: 7170823 4 | NONE: 7170823 5 | NONE: 7170823 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_rbtree_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 17305350 2 | NONE: 17305350 3 | NONE: 17305350 4 | NONE: 17305350 5 | NONE: 17305350 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/whetstone_baseline.log: -------------------------------------------------------------------------------- 1 | NONE: 248910854 2 | NONE: 248910854 3 | NONE: 248910854 4 | NONE: 248910854 5 | NONE: 248910854 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/bubblesort.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/bubblesort.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/nettle_aes.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/nettle_aes.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/whetstone.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/whetstone.bin -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/MPU_trigger.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/MPU_trigger.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/emu_blinky.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/emu_blinky.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/full_blinky.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/full_blinky.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/full_no_irq.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/full_no_irq.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/ibt_systick.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/ibt_systick.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/ins_systick.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/ins_systick.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/led_trigger.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/led_trigger.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/nettle_arcfour.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/nettle_arcfour.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/sglib_hashtable.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/sglib_hashtable.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/sglib_listsort.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/sglib_listsort.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_MPU_trigger_read.log: -------------------------------------------------------------------------------- 1 | Trigger: 1141016, enter_exit: 852982, sherloc_read: 288034, sherloc_read_garbage: 11810 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_ibt_freertos.log: -------------------------------------------------------------------------------- 1 | EVAL: 7083098, enter_exit: 873838, ibt_check: 6209260, ins_identification_garbage: 278795 2 | -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/levenshtein.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/levenshtein.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/sglib_dllist.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/sglib_dllist.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/sglib_queue.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/sglib_queue.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/sglib_rbtree.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/sglib_rbtree.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/nettle_arcfour.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/nettle_arcfour.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/sglib_hashtable.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/sglib_hashtable.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/sglib_listsort.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/sglib_listsort.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/levenshtein.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/levenshtein.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/sglib_dllist.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/sglib_dllist.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/sglib_queue.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/sglib_queue.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/sglib_rbtree.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/sglib_rbtree.bin -------------------------------------------------------------------------------- /Example/out/eval/ibt_size.log: -------------------------------------------------------------------------------- 1 | 0/0 & 0/0 & 0/0 & 0/0 & 0/0 & 1/1 & 0/0 & 1/1 & 0/3 & 0/1 & 8/24 & 9/22 & 0/0 & 0/0 & 0/8 & 0/4 & 0/0 & 0/0 & 2/2 & 1/1 & 1/7 & -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/baseline_rtos.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/baseline_rtos.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/ibt_freertos.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/ibt_freertos.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/ibt_no_systick.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/ibt_no_systick.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_1.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_1.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_ins_rtos.log: -------------------------------------------------------------------------------- 1 | EVAL: 7887757, enter_exit: 872407, sherloc_ins_identification: 7015350, ins_identification_garbage: 391 -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/nettle_arcfour.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/nettle_arcfour.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/sglib_hashtable.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/sglib_hashtable.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/sglib_listsort.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/sglib_listsort.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_1.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_1.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_MPU_trigger_read.log: -------------------------------------------------------------------------------- 1 | Trigger: 21067645, enter_exit: 16000249, sherloc_read: 5067396, sherloc_read_garbage: 229303 -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/nettle_arcfour.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/nettle_arcfour.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/sglib_hashtable.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/sglib_hashtable.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/sglib_listsort.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/sglib_listsort.bin -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/MPU_trigger_IBT.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/MPU_trigger_IBT.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/MPU_trigger_ins.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/MPU_trigger_ins.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/MPU_trigger_read.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/MPU_trigger_read.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/baseline_blinky.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/baseline_blinky.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/baseline_systick.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/baseline_systick.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/led_trigger_IBT.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/led_trigger_IBT.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/led_trigger_ins.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/led_trigger_ins.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/led_trigger_read.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/led_trigger_read.axf -------------------------------------------------------------------------------- /host_tools/evaluation/requirements.txt: -------------------------------------------------------------------------------- 1 | pyelftools 2 | capstone 3 | angr 4 | pathlib 5 | bitarray 6 | pyserial 7 | numpy 8 | pandas 9 | scipy 10 | tabulate -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_MPU.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_MPU.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_led.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_led.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_vul.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_vul.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_vul1.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_vul1.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/sglib_arraybinsearch.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/sglib_arraybinsearch.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/sglib_arrayheapsort.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/sglib_arrayheapsort.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/sglib_arrayquicksort.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/sglib_arrayquicksort.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/sglib_listinsertsort.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/sglib_listinsertsort.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_ibt_freertos_baseline.log: -------------------------------------------------------------------------------- 1 | EVAL: 7032064, enter_exit: 872027, ibt_check: 6160037, ins_identification_garbage: 277789 2 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_10ms_ibt_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 137293960, enter_exit: 77970412, ibt_check: 59323548, ins_identification_garbage: 2661499 2 | -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_1.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/Sherloc_Blinky_ns.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/Sherloc_Blinky_ns.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_MPU.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_MPU.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_led.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_led.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_vul.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_vul.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/sglib_arraybinsearch.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/sglib_arraybinsearch.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/sglib_arrayheapsort.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/sglib_arrayheapsort.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/sglib_arrayquicksort.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/sglib_arrayquicksort.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/sglib_listinsertsort.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/sglib_listinsertsort.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_ibt_freertos.log: -------------------------------------------------------------------------------- 1 | EVAL: 129672975, enter_exit: 16489509, ibt_check: 113183466, ins_identification_garbage: 5082311 2 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/FreeRTOS_MPU_ns_1.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/FreeRTOS_MPU_ns_1.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/Sherloc_Blinky_ns.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/Sherloc_Blinky_ns.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_novul.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_novul.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/Sherloc_Blinky_ns_10ms.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/Sherloc_Blinky_ns_10ms.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_MPU_trigger_ins.log: -------------------------------------------------------------------------------- 1 | Trigger: 1453279, enter_exit: 852909, sherloc_ins_identification: 600370, ins_identification_garbage: 262 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_led_led_trigger_ins.log: -------------------------------------------------------------------------------- 1 | Trigger: 3977196, enter_exit: 3972225, sherloc_ins_identification: 4971, ins_identification_garbage: 1 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_100ms_ibt_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 1156735565, enter_exit: 585183934, ibt_check: 571551631, ins_identification_garbage: 25671127 2 | -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_led.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_led.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_vul.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_vul.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/sglib_arraybinsearch.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/sglib_arraybinsearch.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/sglib_arrayheapsort.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/sglib_arrayheapsort.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/sglib_arrayquicksort.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/sglib_arrayquicksort.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/sglib_listinsertsort.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/sglib_listinsertsort.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_micro.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_micro.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_novul.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_novul.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/Sherloc_Blinky_ns_10ms.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/Sherloc_Blinky_ns_10ms.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_ibt_freertos_baseline.log: -------------------------------------------------------------------------------- 1 | EVAL: 129421470, enter_exit: 16529140, ibt_check: 112892330, ins_identification_garbage: 5091283 2 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_ins_rtos.log: -------------------------------------------------------------------------------- 1 | EVAL: 144523218, enter_exit: 16488150, sherloc_ins_identification: 128035068, ins_identification_garbage: 4890 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_led_led_trigger_ins.log: -------------------------------------------------------------------------------- 1 | Trigger: 5854579, enter_exit: 5849638, sherloc_ins_identification: 4941, ins_identification_garbage: 1 -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_100ms_ibt_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 1780389893, enter_exit: 608121717, ibt_check: 1172268176, ins_identification_garbage: 39858890 2 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_10ms_ibt_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 394058194, enter_exit: 100221996, ibt_check: 293836198, ins_identification_garbage: 11726866 2 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/FreeRTOS_MPU_ns_led.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/FreeRTOS_MPU_ns_led.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/FreeRTOS_MPU_ns_vul.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/FreeRTOS_MPU_ns_vul.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/sglib_arraybinsearch.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/sglib_arraybinsearch.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/sglib_arrayheapsort.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/sglib_arrayheapsort.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/sglib_arrayquicksort.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/sglib_arrayquicksort.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/sglib_listinsertsort.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/sglib_listinsertsort.bin -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/ibt_baseline_systick.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/ibt_baseline_systick.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/ibt_enter_no_systick.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/ibt_enter_no_systick.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/ibt_freertos_baseline.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/ibt_freertos_baseline.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/sherloc_read_systick.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/sherloc_read_systick.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_task_vul.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_task_vul.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/Sherloc_Blinky_ns_100ms.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/Sherloc_Blinky_ns_100ms.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_10ms_ibt_baseline_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 136969479, enter_exit: 77946485, ibt_check: 59022994, ins_identification_garbage: 2660000 2 | -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_novul.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_novul.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/Sherloc_Blinky_ns_100ms.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/Sherloc_Blinky_ns_100ms.bin -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/Sherloc_Blinky_ns_10ms.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/Sherloc_Blinky_ns_10ms.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_micro_2.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/FreeRTOS_MPU_ns_micro_2.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/elf_ns/Sherloc_Blinky_ns_100ms.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/elf_ns/Sherloc_Blinky_ns_100ms.axf -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_MPU_trigger_ins.log: -------------------------------------------------------------------------------- 1 | Trigger: 27315166, enter_exit: 15998964, sherloc_ins_identification: 11316202, ins_identification_garbage: 3928 -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/FreeRTOS_MPU_ns_novul.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/FreeRTOS_MPU_ns_novul.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/Sherloc_Blinky_ns_100ms.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/Sherloc_Blinky_ns_100ms.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/metadata/Sherloc_Blinky_ns_10ms.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/Oz/metadata/Sherloc_Blinky_ns_10ms.bin -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/MPU_trigger_IBT_baseline.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/MPU_trigger_IBT_baseline.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/ibt_baseline_no_systick.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/ibt_baseline_no_systick.axf -------------------------------------------------------------------------------- /host_tools/evaluation/elf_s/led_trigger_IBT_baseline.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/host_tools/evaluation/elf_s/led_trigger_IBT_baseline.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_task_novul.axf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/elf_ns/FreeRTOS_MPU_ns_task_novul.axf -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_100ms_ibt_baseline_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 1153657640, enter_exit: 584933411, ibt_check: 568724229, ins_identification_garbage: 25655080 2 | -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_task_vul.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_task_vul.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_100ms_ibt_baseline_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 1688638016, enter_exit: 607630037, ibt_check: 1081007979, ins_identification_garbage: 40554600 2 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_10ms_ibt_baseline_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 384122257, enter_exit: 100211203, ibt_check: 283911054, ins_identification_garbage: 11792382 2 | -------------------------------------------------------------------------------- /Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_task_novul.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/CactiLab/Sherloc-Cortex-M-CFVD/HEAD/Example/out/eval/O3/metadata/FreeRTOS_MPU_ns_task_novul.bin -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_vul_full_irq_rtos.log: -------------------------------------------------------------------------------- 1 | Yo[4]!!! illegal transfer: 0x1aea164c 2 | Check stack. top: 0. 3 | 0x00201af8 4 | Check task list. num: 2. 5 | 0x0020146a 6 | 0x00200f20 7 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_task_vul_full_rtos.log: -------------------------------------------------------------------------------- 1 | 2 | Monitor Mode Debug Enabled! 3 | branch table size: 8, IRQ size: 6, Task size: 3, LOOP size: 24, tag_size: 0 4 | 5 | ----Load branch table done.--- 6 | ----Binary search enabled.--- 7 | EVAL: 5348, enter_exit: 5348, sherloc_detection: 0 -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_task_novul_full_rtos.log: -------------------------------------------------------------------------------- 1 | 2 | Monitor Mode Debug Enabled! 3 | branch table size: 9, IRQ size: 6, Task size: 3, LOOP size: 24, tag_size: 0 4 | 5 | ----Load branch table done.--- 6 | ----Binary search enabled.--- 7 | EVAL: 5338, enter_exit: 5338, sherloc_detection: 0 -------------------------------------------------------------------------------- /Sherloc_runtime/evaluation/BEEBS.h: -------------------------------------------------------------------------------- 1 | 2 | #ifndef BEEBS_H 3 | #define BEEBS_H 4 | 5 | #define WHETSTONE 6 | 7 | #include "support/support.h" 8 | 9 | void initialise_benchmark(); 10 | int verify_benchmark(int result); 11 | int benchmark(); 12 | 13 | int BEEBS(); 14 | 15 | 16 | #endif // BEEBS_H 17 | -------------------------------------------------------------------------------- /host_tools/evaluation/eval_result_template.csv: -------------------------------------------------------------------------------- 1 | name,opt_level,elf_size,IBT_size,AIT_size,icall,ibranch,dbranch,dcall,ret,irq,baseline,SHERLOC,overhead_SHERLOC,overhead_enter_exit,overhead_ins_identification,overhead_read,overhead_ss,overhead_forward,overhead_IRQ,overhead_task 2 | min,,,,,,,,,,,,,,,,,,,, 3 | max,,,,,,,,,,,,,,,,,,,, 4 | mean,,,,,,,,,,,,,,,,,,,, 5 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/crc32_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 2659908, enter_exit: 1976425, sherloc_detection: 683483 2 | EVAL: 2680609, enter_exit: 1976498, sherloc_detection: 704111 3 | EVAL: 2680609, enter_exit: 1976498, sherloc_detection: 704111 4 | EVAL: 2659789, enter_exit: 1976424, sherloc_detection: 683365 5 | EVAL: 2680527, enter_exit: 1976498, sherloc_detection: 704029 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/edn_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 9369728, enter_exit: 5794519, sherloc_detection: 3575209 2 | EVAL: 9387677, enter_exit: 5794593, sherloc_detection: 3593084 3 | EVAL: 9387427, enter_exit: 5794594, sherloc_detection: 3592833 4 | EVAL: 9387338, enter_exit: 5794593, sherloc_detection: 3592745 5 | EVAL: 9387306, enter_exit: 5794594, sherloc_detection: 3592712 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/ndes_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 4432328, enter_exit: 2455080, sherloc_detection: 1977248 2 | EVAL: 4432132, enter_exit: 2455003, sherloc_detection: 1977129 3 | EVAL: 4431638, enter_exit: 2455006, sherloc_detection: 1976632 4 | EVAL: 4431690, enter_exit: 2455000, sherloc_detection: 1976690 5 | EVAL: 4432077, enter_exit: 2455005, sherloc_detection: 1977072 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nettle_arcfour_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 2618365, enter_exit: 1942634, sherloc_detection: 675731 2 | EVAL: 2635249, enter_exit: 1942708, sherloc_detection: 692541 3 | EVAL: 2635257, enter_exit: 1942708, sherloc_detection: 692549 4 | EVAL: 2635190, enter_exit: 1942707, sherloc_detection: 692483 5 | EVAL: 2635211, enter_exit: 1942703, sherloc_detection: 692508 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_queue_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 7799162, enter_exit: 3625455, sherloc_detection: 4173707 2 | EVAL: 7799038, enter_exit: 3625451, sherloc_detection: 4173587 3 | EVAL: 7815771, enter_exit: 3625526, sherloc_detection: 4190245 4 | EVAL: 7799038, enter_exit: 3625451, sherloc_detection: 4173587 5 | EVAL: 7798998, enter_exit: 3625452, sherloc_detection: 4173546 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/crc32_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 11642718, enter_exit: 2925682, sherloc_detection: 8717036 2 | EVAL: 11642585, enter_exit: 2925682, sherloc_detection: 8716903 3 | EVAL: 11642618, enter_exit: 2925682, sherloc_detection: 8716936 4 | EVAL: 11659292, enter_exit: 2925755, sherloc_detection: 8733537 5 | EVAL: 11642618, enter_exit: 2925682, sherloc_detection: 8716936 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nettle_aes_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 12409812, enter_exit: 9460591, sherloc_detection: 2949221 2 | EVAL: 12409579, enter_exit: 9460589, sherloc_detection: 2948990 3 | EVAL: 12428645, enter_exit: 9460665, sherloc_detection: 2967980 4 | EVAL: 12409700, enter_exit: 9460589, sherloc_detection: 2949111 5 | EVAL: 12409558, enter_exit: 9460593, sherloc_detection: 2948965 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_hashtable_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 3644798, enter_exit: 1336456, sherloc_detection: 2308342 2 | EVAL: 3644563, enter_exit: 1336454, sherloc_detection: 2308109 3 | EVAL: 3644583, enter_exit: 1336449, sherloc_detection: 2308134 4 | EVAL: 3644653, enter_exit: 1336454, sherloc_detection: 2308199 5 | EVAL: 3662108, enter_exit: 1336523, sherloc_detection: 2325585 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/st_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 92043747, enter_exit: 29938197, sherloc_detection: 62105550 2 | EVAL: 92065271, enter_exit: 29938274, sherloc_detection: 62126997 3 | EVAL: 92065210, enter_exit: 29938271, sherloc_detection: 62126939 4 | EVAL: 92065175, enter_exit: 29938277, sherloc_detection: 62126898 5 | EVAL: 92043571, enter_exit: 29938199, sherloc_detection: 62105372 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/edn_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 47504004, enter_exit: 11316338, sherloc_detection: 36187666 2 | EVAL: 47520558, enter_exit: 11316428, sherloc_detection: 36204130 3 | EVAL: 47504180, enter_exit: 11316354, sherloc_detection: 36187826 4 | EVAL: 47520874, enter_exit: 11316447, sherloc_detection: 36204427 5 | EVAL: 47504269, enter_exit: 11316377, sherloc_detection: 36187892 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_queue_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 13677670, enter_exit: 3783594, sherloc_detection: 9894076 2 | EVAL: 13677289, enter_exit: 3783610, sherloc_detection: 9893679 3 | EVAL: 13677290, enter_exit: 3783611, sherloc_detection: 9893679 4 | EVAL: 13694019, enter_exit: 3783673, sherloc_detection: 9910346 5 | EVAL: 13677279, enter_exit: 3783600, sherloc_detection: 9893679 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/fasta_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 32517372, enter_exit: 15317836, sherloc_detection: 17199536 2 | EVAL: 32534200, enter_exit: 15317907, sherloc_detection: 17216293 3 | EVAL: 32517358, enter_exit: 15317835, sherloc_detection: 17199523 4 | EVAL: 32534200, enter_exit: 15317907, sherloc_detection: 17216293 5 | EVAL: 32517358, enter_exit: 15317835, sherloc_detection: 17199523 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/frac_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 62920838, enter_exit: 16497969, sherloc_detection: 46422869 2 | EVAL: 62920874, enter_exit: 16497970, sherloc_detection: 46422904 3 | EVAL: 62920913, enter_exit: 16497963, sherloc_detection: 46422950 4 | EVAL: 62943459, enter_exit: 16498044, sherloc_detection: 46445415 5 | EVAL: 62920862, enter_exit: 16497972, sherloc_detection: 46422890 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arraybinsearch_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 6760842, enter_exit: 2201049, sherloc_detection: 4559793 2 | EVAL: 6760771, enter_exit: 2201049, sherloc_detection: 4559722 3 | EVAL: 6777520, enter_exit: 2201123, sherloc_detection: 4576397 4 | EVAL: 6760762, enter_exit: 2201048, sherloc_detection: 4559714 5 | EVAL: 6760805, enter_exit: 2201050, sherloc_detection: 4559755 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arrayheapsort_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 7483831, enter_exit: 3302395, sherloc_detection: 4181436 2 | EVAL: 7483699, enter_exit: 3302391, sherloc_detection: 4181308 3 | EVAL: 7500473, enter_exit: 3302465, sherloc_detection: 4198008 4 | EVAL: 7483735, enter_exit: 3302394, sherloc_detection: 4181341 5 | EVAL: 7483699, enter_exit: 3302391, sherloc_detection: 4181308 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arrayquicksort_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 8477013, enter_exit: 2186396, sherloc_detection: 6290617 2 | EVAL: 8493847, enter_exit: 2186468, sherloc_detection: 6307379 3 | EVAL: 8493849, enter_exit: 2186470, sherloc_detection: 6307379 4 | EVAL: 8476837, enter_exit: 2186391, sherloc_detection: 6290446 5 | EVAL: 8493860, enter_exit: 2186464, sherloc_detection: 6307396 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_dllist_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 16423784, enter_exit: 4471887, sherloc_detection: 11951897 2 | EVAL: 16440223, enter_exit: 4471902, sherloc_detection: 11968321 3 | EVAL: 16440370, enter_exit: 4471950, sherloc_detection: 11968420 4 | EVAL: 16440198, enter_exit: 4471902, sherloc_detection: 11968296 5 | EVAL: 16440339, enter_exit: 4471949, sherloc_detection: 11968390 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/fasta_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 97393083, enter_exit: 29124974, sherloc_detection: 68268109 2 | EVAL: 97393041, enter_exit: 29124958, sherloc_detection: 68268083 3 | EVAL: 97392965, enter_exit: 29124915, sherloc_detection: 68268050 4 | EVAL: 97393015, enter_exit: 29124932, sherloc_detection: 68268083 5 | EVAL: 97392977, enter_exit: 29124960, sherloc_detection: 68268017 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/frac_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 61496354, enter_exit: 16077621, sherloc_detection: 45418733 2 | EVAL: 61518285, enter_exit: 16077692, sherloc_detection: 45440593 3 | EVAL: 61518435, enter_exit: 16077694, sherloc_detection: 45440741 4 | EVAL: 61518245, enter_exit: 16077680, sherloc_detection: 45440565 5 | EVAL: 61518277, enter_exit: 16077684, sherloc_detection: 45440593 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/levenshtein_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 40722141, enter_exit: 9967094, sherloc_detection: 30755047 2 | EVAL: 40721779, enter_exit: 9967091, sherloc_detection: 30754688 3 | EVAL: 40721983, enter_exit: 9967097, sherloc_detection: 30754886 4 | EVAL: 40721848, enter_exit: 9967094, sherloc_detection: 30754754 5 | EVAL: 40721949, enter_exit: 9967096, sherloc_detection: 30754853 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/ndes_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 58652577, enter_exit: 10305634, sherloc_detection: 48346943 2 | EVAL: 58669423, enter_exit: 10305522, sherloc_detection: 48363901 3 | EVAL: 58668850, enter_exit: 10305447, sherloc_detection: 48363403 4 | EVAL: 58669292, enter_exit: 10305523, sherloc_detection: 48363769 5 | EVAL: 58669015, enter_exit: 10305447, sherloc_detection: 48363568 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_aes_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 19403791, enter_exit: 11798626, sherloc_detection: 7605165 2 | EVAL: 19420891, enter_exit: 11798692, sherloc_detection: 7622199 3 | EVAL: 19420472, enter_exit: 11798698, sherloc_detection: 7621774 4 | EVAL: 19420565, enter_exit: 11798692, sherloc_detection: 7621873 5 | EVAL: 19420605, enter_exit: 11798699, sherloc_detection: 7621906 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_arcfour_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 12508550, enter_exit: 3375847, sherloc_detection: 9132703 2 | EVAL: 12508528, enter_exit: 3375851, sherloc_detection: 9132677 3 | EVAL: 12508532, enter_exit: 3375855, sherloc_detection: 9132677 4 | EVAL: 12525170, enter_exit: 3375925, sherloc_detection: 9149245 5 | EVAL: 12508558, enter_exit: 3375848, sherloc_detection: 9132710 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arraybinsearch_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 9314068, enter_exit: 2956954, sherloc_detection: 6357114 2 | EVAL: 9314029, enter_exit: 2956952, sherloc_detection: 6357077 3 | EVAL: 9314096, enter_exit: 2956953, sherloc_detection: 6357143 4 | EVAL: 9314126, enter_exit: 2956950, sherloc_detection: 6357176 5 | EVAL: 9314062, enter_exit: 2956952, sherloc_detection: 6357110 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_dllist_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 34396480, enter_exit: 6578102, sherloc_detection: 27818378 2 | EVAL: 34396247, enter_exit: 6578136, sherloc_detection: 27818111 3 | EVAL: 34396518, enter_exit: 6578129, sherloc_detection: 27818389 4 | EVAL: 34396508, enter_exit: 6578135, sherloc_detection: 27818373 5 | EVAL: 34417094, enter_exit: 6578206, sherloc_detection: 27838888 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/st_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 121590193, enter_exit: 39077328, sherloc_detection: 82512865 2 | EVAL: 121611352, enter_exit: 39077309, sherloc_detection: 82534043 3 | EVAL: 121611352, enter_exit: 39077309, sherloc_detection: 82534043 4 | EVAL: 121611352, enter_exit: 39077309, sherloc_detection: 82534043 5 | EVAL: 121611352, enter_exit: 39077309, sherloc_detection: 82534043 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/bubblesort_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 26476886, enter_exit: 11785059, sherloc_detection: 14691827 2 | EVAL: 26493499, enter_exit: 11785133, sherloc_detection: 14708366 3 | EVAL: 26493303, enter_exit: 11785135, sherloc_detection: 14708168 4 | EVAL: 26493466, enter_exit: 11785133, sherloc_detection: 14708333 5 | EVAL: 26476662, enter_exit: 11785062, sherloc_detection: 14691600 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/levenshtein_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 30133873, enter_exit: 10154259, sherloc_detection: 19979614 2 | EVAL: 30151590, enter_exit: 10154327, sherloc_detection: 19997263 3 | EVAL: 30151598, enter_exit: 10154327, sherloc_detection: 19997271 4 | EVAL: 30133930, enter_exit: 10154255, sherloc_detection: 19979675 5 | EVAL: 30151508, enter_exit: 10154328, sherloc_detection: 19997180 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_listinsertsort_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 10774385, enter_exit: 4546886, sherloc_detection: 6227499 2 | EVAL: 10791014, enter_exit: 4546949, sherloc_detection: 6244065 3 | EVAL: 10790886, enter_exit: 4546953, sherloc_detection: 6243933 4 | EVAL: 10790924, enter_exit: 4546950, sherloc_detection: 6243974 5 | EVAL: 10790914, enter_exit: 4546948, sherloc_detection: 6243966 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_listsort_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 13923721, enter_exit: 3604027, sherloc_detection: 10319694 2 | EVAL: 13940402, enter_exit: 3604092, sherloc_detection: 10336310 3 | EVAL: 13940485, enter_exit: 3604090, sherloc_detection: 10336395 4 | EVAL: 13940412, enter_exit: 3604094, sherloc_detection: 10336318 5 | EVAL: 13940398, enter_exit: 3604091, sherloc_detection: 10336307 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_rbtree_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 76308403, enter_exit: 16702347, sherloc_detection: 59606056 2 | EVAL: 76309373, enter_exit: 16702381, sherloc_detection: 59606992 3 | EVAL: 76309300, enter_exit: 16702380, sherloc_detection: 59606920 4 | EVAL: 76308933, enter_exit: 16702340, sherloc_detection: 59606593 5 | EVAL: 76309422, enter_exit: 16702370, sherloc_detection: 59607052 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/bubblesort_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 66737929, enter_exit: 21271278, sherloc_detection: 45466651 2 | EVAL: 66754397, enter_exit: 21271347, sherloc_detection: 45483050 3 | EVAL: 66754562, enter_exit: 21271347, sherloc_detection: 45483215 4 | EVAL: 66754460, enter_exit: 21271344, sherloc_detection: 45483116 5 | EVAL: 66754432, enter_exit: 21271349, sherloc_detection: 45483083 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayheapsort_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 10919322, enter_exit: 3279245, sherloc_detection: 7640077 2 | EVAL: 10936152, enter_exit: 3279313, sherloc_detection: 7656839 3 | EVAL: 10919177, enter_exit: 3279236, sherloc_detection: 7639941 4 | EVAL: 10935988, enter_exit: 3279314, sherloc_detection: 7656674 5 | EVAL: 10919209, enter_exit: 3279235, sherloc_detection: 7639974 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayquicksort_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 11990801, enter_exit: 2116191, sherloc_detection: 9874610 2 | EVAL: 11990747, enter_exit: 2116199, sherloc_detection: 9874548 3 | EVAL: 11990743, enter_exit: 2116195, sherloc_detection: 9874548 4 | EVAL: 11990669, enter_exit: 2116187, sherloc_detection: 9874482 5 | EVAL: 11990708, enter_exit: 2116193, sherloc_detection: 9874515 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_hashtable_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 27617115, enter_exit: 4323941, sherloc_detection: 23293174 2 | EVAL: 27616759, enter_exit: 4323942, sherloc_detection: 23292817 3 | EVAL: 27638062, enter_exit: 4324024, sherloc_detection: 23314038 4 | EVAL: 27616728, enter_exit: 4323953, sherloc_detection: 23292775 5 | EVAL: 27616685, enter_exit: 4323945, sherloc_detection: 23292740 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_listsort_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 23544887, enter_exit: 4530848, sherloc_detection: 19014039 2 | EVAL: 23561367, enter_exit: 4530914, sherloc_detection: 19030453 3 | EVAL: 23561666, enter_exit: 4530913, sherloc_detection: 19030753 4 | EVAL: 23561209, enter_exit: 4530927, sherloc_detection: 19030282 5 | EVAL: 23561397, enter_exit: 4530917, sherloc_detection: 19030480 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_rbtree_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 86218264, enter_exit: 17564944, sherloc_detection: 68653320 2 | EVAL: 86218688, enter_exit: 17564949, sherloc_detection: 68653739 3 | EVAL: 86237032, enter_exit: 17565021, sherloc_detection: 68672011 4 | EVAL: 86218598, enter_exit: 17564955, sherloc_detection: 68653643 5 | EVAL: 86237793, enter_exit: 17565031, sherloc_detection: 68672762 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_ss_irq_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 37355978, enter_exit: 4157093, sherloc_detection: 33198885 2 | EVAL: 37746056, enter_exit: 4182870, sherloc_detection: 33563186 3 | EVAL: 37748797, enter_exit: 4182866, sherloc_detection: 33565931 4 | EVAL: 37350755, enter_exit: 4157111, sherloc_detection: 33193644 5 | EVAL: 37747611, enter_exit: 4182866, sherloc_detection: 33564745 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/FreeRTOS_MPU_ns_1_ss_no_irq_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 32129694, enter_exit: 4157093, sherloc_detection: 27972601 2 | EVAL: 32466872, enter_exit: 4182870, sherloc_detection: 28284002 3 | EVAL: 32467020, enter_exit: 4182866, sherloc_detection: 28284154 4 | EVAL: 32126979, enter_exit: 4157111, sherloc_detection: 27969868 5 | EVAL: 32466883, enter_exit: 4182866, sherloc_detection: 28284017 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/rijndael_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 135573396, enter_exit: 112618329, sherloc_detection: 22955067 2 | EVAL: 135616161, enter_exit: 112618528, sherloc_detection: 22997633 3 | EVAL: 135594824, enter_exit: 112618433, sherloc_detection: 22976391 4 | EVAL: 135594595, enter_exit: 112618500, sherloc_detection: 22976095 5 | EVAL: 135594824, enter_exit: 112618433, sherloc_detection: 22976391 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_ss_irq_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 38303609, enter_exit: 3296769, sherloc_detection: 35006840 2 | EVAL: 38281865, enter_exit: 3296701, sherloc_detection: 34985164 3 | EVAL: 38281741, enter_exit: 3296782, sherloc_detection: 34984959 4 | EVAL: 38281684, enter_exit: 3296785, sherloc_detection: 34984899 5 | EVAL: 38281872, enter_exit: 3296719, sherloc_detection: 34985153 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/FreeRTOS_MPU_ns_1_ss_no_irq_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 32192402, enter_exit: 3296769, sherloc_detection: 28895633 2 | EVAL: 32174409, enter_exit: 3296701, sherloc_detection: 28877708 3 | EVAL: 32174490, enter_exit: 3296782, sherloc_detection: 28877708 4 | EVAL: 32174438, enter_exit: 3296785, sherloc_detection: 28877653 5 | EVAL: 32174430, enter_exit: 3296719, sherloc_detection: 28877711 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_listinsertsort_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 39064068, enter_exit: 7300310, sherloc_detection: 31763758 2 | EVAL: 39064063, enter_exit: 7300307, sherloc_detection: 31763756 3 | EVAL: 39064063, enter_exit: 7300307, sherloc_detection: 31763756 4 | EVAL: 39063862, enter_exit: 7300310, sherloc_detection: 31763552 5 | EVAL: 39063403, enter_exit: 7300317, sherloc_detection: 31763086 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/dijkstra_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 372626865, enter_exit: 111896477, sherloc_detection: 260730388 2 | EVAL: 372626484, enter_exit: 111896465, sherloc_detection: 260730019 3 | EVAL: 372627063, enter_exit: 111896481, sherloc_detection: 260730582 4 | EVAL: 372627028, enter_exit: 111896479, sherloc_detection: 260730549 5 | EVAL: 372626757, enter_exit: 111896475, sherloc_detection: 260730282 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nbody_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 539165940, enter_exit: 180238271, sherloc_detection: 358927669 2 | EVAL: 539165966, enter_exit: 180238692, sherloc_detection: 358927274 3 | EVAL: 539188303, enter_exit: 180238757, sherloc_detection: 358949546 4 | EVAL: 539165957, enter_exit: 180238687, sherloc_detection: 358927270 5 | EVAL: 539165962, enter_exit: 180238679, sherloc_detection: 358927283 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/picojpeg_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 267073032, enter_exit: 116663991, sherloc_detection: 150409041 2 | EVAL: 267091841, enter_exit: 116664568, sherloc_detection: 150427273 3 | EVAL: 267072304, enter_exit: 116664009, sherloc_detection: 150408295 4 | EVAL: 267091968, enter_exit: 116664567, sherloc_detection: 150427401 5 | EVAL: 267090589, enter_exit: 116664080, sherloc_detection: 150426509 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/qrduino_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 393251938, enter_exit: 126187590, sherloc_detection: 267064348 2 | EVAL: 393267865, enter_exit: 126187685, sherloc_detection: 267080180 3 | EVAL: 393267865, enter_exit: 126187685, sherloc_detection: 267080180 4 | EVAL: 393267865, enter_exit: 126187685, sherloc_detection: 267080180 5 | EVAL: 393267865, enter_exit: 126187685, sherloc_detection: 267080180 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/dijkstra_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 559099402, enter_exit: 134828896, sherloc_detection: 424270506 2 | EVAL: 559115802, enter_exit: 134828988, sherloc_detection: 424286814 3 | EVAL: 559115802, enter_exit: 134828988, sherloc_detection: 424286814 4 | EVAL: 559115802, enter_exit: 134828988, sherloc_detection: 424286814 5 | EVAL: 559115802, enter_exit: 134828988, sherloc_detection: 424286814 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nbody_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 623839772, enter_exit: 189918287, sherloc_detection: 433921485 2 | EVAL: 623837568, enter_exit: 189918707, sherloc_detection: 433918861 3 | EVAL: 623837595, enter_exit: 189918706, sherloc_detection: 433918889 4 | EVAL: 623859007, enter_exit: 189918776, sherloc_detection: 433940231 5 | EVAL: 623837568, enter_exit: 189918707, sherloc_detection: 433918861 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/picojpeg_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 605141909, enter_exit: 169533710, sherloc_detection: 435608199 2 | EVAL: 605140637, enter_exit: 169533703, sherloc_detection: 435606934 3 | EVAL: 605159142, enter_exit: 169533764, sherloc_detection: 435625378 4 | EVAL: 605141922, enter_exit: 169533665, sherloc_detection: 435608257 5 | EVAL: 605140996, enter_exit: 169533699, sherloc_detection: 435607297 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/qrduino_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 780270865, enter_exit: 168898786, sherloc_detection: 611372079 2 | EVAL: 780293337, enter_exit: 168898857, sherloc_detection: 611394480 3 | EVAL: 780293715, enter_exit: 168898850, sherloc_detection: 611394865 4 | EVAL: 780293377, enter_exit: 168898841, sherloc_detection: 611394536 5 | EVAL: 780293103, enter_exit: 168898848, sherloc_detection: 611394255 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/rijndael_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 374706660, enter_exit: 144654509, sherloc_detection: 230052151 2 | EVAL: 374706214, enter_exit: 144654480, sherloc_detection: 230051734 3 | EVAL: 374724320, enter_exit: 144654569, sherloc_detection: 230069751 4 | EVAL: 374706431, enter_exit: 144654499, sherloc_detection: 230051932 5 | EVAL: 374724759, enter_exit: 144654579, sherloc_detection: 230070180 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/whetstone_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 772750290, enter_exit: 244559038, sherloc_detection: 528191252 2 | EVAL: 772750565, enter_exit: 244559926, sherloc_detection: 528190639 3 | EVAL: 772751296, enter_exit: 244559916, sherloc_detection: 528191380 4 | EVAL: 772751296, enter_exit: 244559916, sherloc_detection: 528191380 5 | EVAL: 772751296, enter_exit: 244559916, sherloc_detection: 528191380 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/whetstone_full_no_irq.log: -------------------------------------------------------------------------------- 1 | EVAL: 804882017, enter_exit: 250753280, sherloc_detection: 554128737 2 | EVAL: 804882091, enter_exit: 250753302, sherloc_detection: 554128789 3 | EVAL: 804880869, enter_exit: 250753051, sherloc_detection: 554127818 4 | EVAL: 804882373, enter_exit: 250754009, sherloc_detection: 554128364 5 | EVAL: 804882616, enter_exit: 250754009, sherloc_detection: 554128607 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_100ms_ss_irq_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 103156990, enter_exit: 35219161, sherloc_detection: 67937829 2 | EVAL: 102475269, enter_exit: 34624480, sherloc_detection: 67850789 3 | EVAL: 102534740, enter_exit: 34683977, sherloc_detection: 67850763 4 | EVAL: 102556568, enter_exit: 34684061, sherloc_detection: 67872507 5 | EVAL: 102453491, enter_exit: 34624426, sherloc_detection: 67829065 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_10ms_ss_irq_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 103604904, enter_exit: 35581664, sherloc_detection: 68023240 2 | EVAL: 102923080, enter_exit: 34986921, sherloc_detection: 67936159 3 | EVAL: 102923249, enter_exit: 34986980, sherloc_detection: 67936269 4 | EVAL: 102923313, enter_exit: 34986923, sherloc_detection: 67936390 5 | EVAL: 102922924, enter_exit: 34986949, sherloc_detection: 67935975 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_100ms_ss_irq_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 184833400, enter_exit: 45376680, sherloc_detection: 139456720 2 | EVAL: 182452782, enter_exit: 44730303, sherloc_detection: 137722479 3 | EVAL: 182920247, enter_exit: 44859640, sherloc_detection: 138060607 4 | EVAL: 182431140, enter_exit: 44730275, sherloc_detection: 137700865 5 | EVAL: 182686321, enter_exit: 44795019, sherloc_detection: 137891302 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_10ms_ss_irq_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 186546999, enter_exit: 45837217, sherloc_detection: 140709782 2 | EVAL: 184401260, enter_exit: 45255533, sherloc_detection: 139145727 3 | EVAL: 184162410, enter_exit: 45191333, sherloc_detection: 138971077 4 | EVAL: 184420558, enter_exit: 45256080, sherloc_detection: 139164478 5 | EVAL: 184396617, enter_exit: 45255891, sherloc_detection: 139140726 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/freertos_eval_result.csv: -------------------------------------------------------------------------------- 1 | name,opt_level,elf_size,IBT_size,AIT_size,icall,ibranch,dbranch,dcall,ret,irq,baseline,SHERLOC,overhead_SHERLOC,overhead_enter_exit,overhead_ins_identification,overhead_read,overhead_ss,overhead_forward,overhead_IRQ,overhead_task 2 | min,,,,,,,,,,,,,,,,,,,, 3 | max,,,,,,,,,,,,,,,,,,,, 4 | mean,,,,,,,,,,,,,,,,,,,, 5 | FreeRTOS_MPU_ns_1,,,,,8.0,5.0,331.0,64.0,18.0,6.0,,,,,,,,,, 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/freertos_eval_result.csv: -------------------------------------------------------------------------------- 1 | name,opt_level,elf_size,IBT_size,AIT_size,icall,ibranch,dbranch,dcall,ret,irq,baseline,SHERLOC,overhead_SHERLOC,overhead_enter_exit,overhead_ins_identification,overhead_read,overhead_ss,overhead_forward,overhead_IRQ,overhead_task 2 | min,,,,,,,,,,,,,,,,,,,, 3 | max,,,,,,,,,,,,,,,,,,,, 4 | mean,,,,,,,,,,,,,,,,,,,, 5 | FreeRTOS_MPU_ns_1,,,,,3.0,6.0,201.0,88.0,30.0,6.0,,,,,,,,,, 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/blinky_eval_result.csv: -------------------------------------------------------------------------------- 1 | name,opt_level,elf_size,IBT_size,AIT_size,icall,ibranch,dbranch,dcall,ret,irq,baseline,SHERLOC,overhead_SHERLOC,overhead_enter_exit,overhead_ins_identification,overhead_read,overhead_ss,overhead_forward,overhead_IRQ,overhead_task 2 | min,,,,,,,,,,,,,,,,,,,, 3 | max,,,,,,,,,,,,,,,,,,,, 4 | mean,,,,,,,,,,,,,,,,,,,, 5 | TeeCFI_Blinky_ns_100ms,,,,,0,1,2044,73,18,8,,,,,,,,,, 6 | TeeCFI_Blinky_ns_10ms,,,,,,,,,,,,,,,,,,,, 7 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/blinky_eval_result.csv: -------------------------------------------------------------------------------- 1 | name,opt_level,elf_size,IBT_size,AIT_size,icall,ibranch,dbranch,dcall,ret,irq,baseline,SHERLOC,overhead_SHERLOC,overhead_enter_exit,overhead_ins_identification,overhead_read,overhead_ss,overhead_forward,overhead_IRQ,overhead_task 2 | min,,,,,,,,,,,,,,,,,,,, 3 | max,,,,,,,,,,,,,,,,,,,, 4 | mean,,,,,,,,,,,,,,,,,,,, 5 | TeeCFI_Blinky_ns_100ms,,,,,110,4,75,62,25,8,,,,,,,,,, 6 | TeeCFI_Blinky_ns_10ms,,,,,,,,,,,,,,,,,,,, 7 | -------------------------------------------------------------------------------- /Example/Sherloc_S_NS/Sherloc_ns/RTE/_FVP/RTE_Components.h: -------------------------------------------------------------------------------- 1 | 2 | /* 3 | * Auto generated Run-Time-Environment Configuration File 4 | * *** Do not modify ! *** 5 | * 6 | * Project: 'Sherloc_ns' 7 | * Target: 'FVP' 8 | */ 9 | 10 | #ifndef RTE_COMPONENTS_H 11 | #define RTE_COMPONENTS_H 12 | 13 | 14 | /* 15 | * Define the Device Header File: 16 | */ 17 | #define CMSIS_device_header "IOTKit_CM33_FP.h" 18 | 19 | 20 | 21 | #endif /* RTE_COMPONENTS_H */ 22 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/crc32_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 1976689, enter_exit: 1976227, sherloc_read: 462, sherloc_read_garbage: 16698 2 | EVAL: 1976770, enter_exit: 1976294, sherloc_read: 476, sherloc_read_garbage: 17206 3 | EVAL: 1976770, enter_exit: 1976294, sherloc_read: 476, sherloc_read_garbage: 17206 4 | EVAL: 1976688, enter_exit: 1976226, sherloc_read: 462, sherloc_read_garbage: 16699 5 | EVAL: 1976770, enter_exit: 1976294, sherloc_read: 476, sherloc_read_garbage: 17204 6 | -------------------------------------------------------------------------------- /Example/Vulfoo_S_NS/FreeRTOS_MPU_ns/RTE/_FVP/RTE_Components.h: -------------------------------------------------------------------------------- 1 | 2 | /* 3 | * Auto generated Run-Time-Environment Configuration File 4 | * *** Do not modify ! *** 5 | * 6 | * Project: 'FreeRTOS_MPU_ns' 7 | * Target: 'FVP' 8 | */ 9 | 10 | #ifndef RTE_COMPONENTS_H 11 | #define RTE_COMPONENTS_H 12 | 13 | 14 | /* 15 | * Define the Device Header File: 16 | */ 17 | #define CMSIS_device_header "IOTKit_CM33_FP.h" 18 | 19 | 20 | 21 | #endif /* RTE_COMPONENTS_H */ 22 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/ndes_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 2455896, enter_exit: 2454468, sherloc_read: 1428, sherloc_read_garbage: 51666 2 | EVAL: 2455819, enter_exit: 2454391, sherloc_read: 1428, sherloc_read_garbage: 51666 3 | EVAL: 2455822, enter_exit: 2454394, sherloc_read: 1428, sherloc_read_garbage: 51665 4 | EVAL: 2455816, enter_exit: 2454388, sherloc_read: 1428, sherloc_read_garbage: 51666 5 | EVAL: 2455821, enter_exit: 2454393, sherloc_read: 1428, sherloc_read_garbage: 51667 6 | -------------------------------------------------------------------------------- /Example/Sherloc_S_NS/Sherloc_ns/RTE/_V2M-MPS2_/RTE_Components.h: -------------------------------------------------------------------------------- 1 | 2 | /* 3 | * Auto generated Run-Time-Environment Configuration File 4 | * *** Do not modify ! *** 5 | * 6 | * Project: 'Sherloc_ns' 7 | * Target: 'V2M-MPS2+' 8 | */ 9 | 10 | #ifndef RTE_COMPONENTS_H 11 | #define RTE_COMPONENTS_H 12 | 13 | 14 | /* 15 | * Define the Device Header File: 16 | */ 17 | #define CMSIS_device_header "IOTKit_CM33_FP.h" 18 | 19 | 20 | 21 | #endif /* RTE_COMPONENTS_H */ 22 | -------------------------------------------------------------------------------- /Example/Trigger_S_NS/FreeRTOS_MPU_ns/RTE/_FVP/RTE_Components.h: -------------------------------------------------------------------------------- 1 | 2 | /* 3 | * Auto generated Run-Time-Environment Configuration File 4 | * *** Do not modify ! *** 5 | * 6 | * Project: 'FreeRTOS_MPU_ns' 7 | * Target: 'FVP' 8 | */ 9 | 10 | #ifndef RTE_COMPONENTS_H 11 | #define RTE_COMPONENTS_H 12 | 13 | 14 | /* 15 | * Define the Device Header File: 16 | */ 17 | #define CMSIS_device_header "IOTKit_CM33_FP.h" 18 | 19 | 20 | 21 | #endif /* RTE_COMPONENTS_H */ 22 | -------------------------------------------------------------------------------- /Example/Vulfoo_Task_S_NS/FreeRTOS_MPU_ns/RTE/_FVP/RTE_Components.h: -------------------------------------------------------------------------------- 1 | 2 | /* 3 | * Auto generated Run-Time-Environment Configuration File 4 | * *** Do not modify ! *** 5 | * 6 | * Project: 'FreeRTOS_MPU_ns' 7 | * Target: 'FVP' 8 | */ 9 | 10 | #ifndef RTE_COMPONENTS_H 11 | #define RTE_COMPONENTS_H 12 | 13 | 14 | /* 15 | * Define the Device Header File: 16 | */ 17 | #define CMSIS_device_header "IOTKit_CM33_FP.h" 18 | 19 | 20 | 21 | #endif /* RTE_COMPONENTS_H */ 22 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/edn_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 5796143, enter_exit: 5793301, sherloc_read: 2842, sherloc_read_garbage: 102718 2 | EVAL: 5796225, enter_exit: 5793369, sherloc_read: 2856, sherloc_read_garbage: 103226 3 | EVAL: 5796226, enter_exit: 5793370, sherloc_read: 2856, sherloc_read_garbage: 103226 4 | EVAL: 5796225, enter_exit: 5793369, sherloc_read: 2856, sherloc_read_garbage: 103226 5 | EVAL: 5796226, enter_exit: 5793370, sherloc_read: 2856, sherloc_read_garbage: 103225 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nettle_aes_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 9461839, enter_exit: 9459655, sherloc_read: 2184, sherloc_read_garbage: 78936 2 | EVAL: 9461837, enter_exit: 9459653, sherloc_read: 2184, sherloc_read_garbage: 78937 3 | EVAL: 9461921, enter_exit: 9459723, sherloc_read: 2198, sherloc_read_garbage: 79442 4 | EVAL: 9461837, enter_exit: 9459653, sherloc_read: 2184, sherloc_read_garbage: 78937 5 | EVAL: 9461841, enter_exit: 9459657, sherloc_read: 2184, sherloc_read_garbage: 78936 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nettle_arcfour_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 1942954, enter_exit: 1942394, sherloc_read: 560, sherloc_read_garbage: 20242 2 | EVAL: 1943036, enter_exit: 1942462, sherloc_read: 574, sherloc_read_garbage: 20749 3 | EVAL: 1943036, enter_exit: 1942462, sherloc_read: 574, sherloc_read_garbage: 20749 4 | EVAL: 1943035, enter_exit: 1942461, sherloc_read: 574, sherloc_read_garbage: 20748 5 | EVAL: 1943031, enter_exit: 1942457, sherloc_read: 574, sherloc_read_garbage: 20748 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/crc32_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 2929874, enter_exit: 2922538, sherloc_read: 7336, sherloc_read_garbage: 265145 2 | EVAL: 2929874, enter_exit: 2922538, sherloc_read: 7336, sherloc_read_garbage: 265144 3 | EVAL: 2929874, enter_exit: 2922538, sherloc_read: 7336, sherloc_read_garbage: 265145 4 | EVAL: 2929955, enter_exit: 2922605, sherloc_read: 7350, sherloc_read_garbage: 265650 5 | EVAL: 2929874, enter_exit: 2922538, sherloc_read: 7336, sherloc_read_garbage: 265145 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_dllist_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 4477495, enter_exit: 4467681, sherloc_read: 9814, sherloc_read_garbage: 354781 2 | EVAL: 4477518, enter_exit: 4467690, sherloc_read: 9828, sherloc_read_garbage: 355282 3 | EVAL: 4477566, enter_exit: 4467738, sherloc_read: 9828, sherloc_read_garbage: 355285 4 | EVAL: 4477518, enter_exit: 4467690, sherloc_read: 9828, sherloc_read_garbage: 355281 5 | EVAL: 4477565, enter_exit: 4467737, sherloc_read: 9828, sherloc_read_garbage: 355284 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_hashtable_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 1337512, enter_exit: 1335664, sherloc_read: 1848, sherloc_read_garbage: 66866 2 | EVAL: 1337510, enter_exit: 1335662, sherloc_read: 1848, sherloc_read_garbage: 66862 3 | EVAL: 1337505, enter_exit: 1335657, sherloc_read: 1848, sherloc_read_garbage: 66865 4 | EVAL: 1337510, enter_exit: 1335662, sherloc_read: 1848, sherloc_read_garbage: 66865 5 | EVAL: 1337587, enter_exit: 1335725, sherloc_read: 1862, sherloc_read_garbage: 67370 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_queue_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 3627447, enter_exit: 3623961, sherloc_read: 3486, sherloc_read_garbage: 125997 2 | EVAL: 3627443, enter_exit: 3623957, sherloc_read: 3486, sherloc_read_garbage: 125996 3 | EVAL: 3627526, enter_exit: 3624026, sherloc_read: 3500, sherloc_read_garbage: 126502 4 | EVAL: 3627443, enter_exit: 3623957, sherloc_read: 3486, sherloc_read_garbage: 125996 5 | EVAL: 3627444, enter_exit: 3623958, sherloc_read: 3486, sherloc_read_garbage: 125995 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_queue_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 3788346, enter_exit: 3780030, sherloc_read: 8316, sherloc_read_garbage: 300809 2 | EVAL: 3788362, enter_exit: 3780046, sherloc_read: 8316, sherloc_read_garbage: 300800 3 | EVAL: 3788363, enter_exit: 3780047, sherloc_read: 8316, sherloc_read_garbage: 300800 4 | EVAL: 3788433, enter_exit: 3780103, sherloc_read: 8330, sherloc_read_garbage: 301307 5 | EVAL: 3788352, enter_exit: 3780036, sherloc_read: 8316, sherloc_read_garbage: 300800 6 | -------------------------------------------------------------------------------- /Example/Sherloc_Blinky_S_NS/Sherloc_Blinky_ns/RTE/_FVP/RTE_Components.h: -------------------------------------------------------------------------------- 1 | 2 | /* 3 | * Auto generated Run-Time-Environment Configuration File 4 | * *** Do not modify ! *** 5 | * 6 | * Project: 'Sherloc_Blinky_ns' 7 | * Target: 'FVP' 8 | */ 9 | 10 | #ifndef RTE_COMPONENTS_H 11 | #define RTE_COMPONENTS_H 12 | 13 | 14 | /* 15 | * Define the Device Header File: 16 | */ 17 | #define CMSIS_device_header "IOTKit_CM33_FP.h" 18 | 19 | 20 | 21 | #endif /* RTE_COMPONENTS_H */ 22 | -------------------------------------------------------------------------------- /Example/Sherloc_FreeRTOS_MPU_S_NS/FreeRTOS_MPU_ns/RTE/_FVP/RTE_Components.h: -------------------------------------------------------------------------------- 1 | 2 | /* 3 | * Auto generated Run-Time-Environment Configuration File 4 | * *** Do not modify ! *** 5 | * 6 | * Project: 'FreeRTOS_MPU_ns' 7 | * Target: 'FVP' 8 | */ 9 | 10 | #ifndef RTE_COMPONENTS_H 11 | #define RTE_COMPONENTS_H 12 | 13 | 14 | /* 15 | * Define the Device Header File: 16 | */ 17 | #define CMSIS_device_header "IOTKit_CM33_FP.h" 18 | 19 | 20 | 21 | #endif /* RTE_COMPONENTS_H */ 22 | -------------------------------------------------------------------------------- /Example/Trigger_S_NS/FreeRTOS_MPU_ns/RTE/_V2M-MPS2_/RTE_Components.h: -------------------------------------------------------------------------------- 1 | 2 | /* 3 | * Auto generated Run-Time-Environment Configuration File 4 | * *** Do not modify ! *** 5 | * 6 | * Project: 'FreeRTOS_MPU_ns' 7 | * Target: 'V2M-MPS2+' 8 | */ 9 | 10 | #ifndef RTE_COMPONENTS_H 11 | #define RTE_COMPONENTS_H 12 | 13 | 14 | /* 15 | * Define the Device Header File: 16 | */ 17 | #define CMSIS_device_header "IOTKit_CM33_FP.h" 18 | 19 | 20 | 21 | #endif /* RTE_COMPONENTS_H */ 22 | -------------------------------------------------------------------------------- /Example/Vulfoo_S_NS/FreeRTOS_MPU_ns/RTE/_V2M-MPS2_/RTE_Components.h: -------------------------------------------------------------------------------- 1 | 2 | /* 3 | * Auto generated Run-Time-Environment Configuration File 4 | * *** Do not modify ! *** 5 | * 6 | * Project: 'FreeRTOS_MPU_ns' 7 | * Target: 'V2M-MPS2+' 8 | */ 9 | 10 | #ifndef RTE_COMPONENTS_H 11 | #define RTE_COMPONENTS_H 12 | 13 | 14 | /* 15 | * Define the Device Header File: 16 | */ 17 | #define CMSIS_device_header "IOTKit_CM33_FP.h" 18 | 19 | 20 | 21 | #endif /* RTE_COMPONENTS_H */ 22 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_listsort_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 3608851, enter_exit: 3600409, sherloc_read: 8442, sherloc_read_garbage: 305162 2 | EVAL: 3608924, enter_exit: 3600468, sherloc_read: 8456, sherloc_read_garbage: 305668 3 | EVAL: 3608922, enter_exit: 3600466, sherloc_read: 8456, sherloc_read_garbage: 305670 4 | EVAL: 3608926, enter_exit: 3600470, sherloc_read: 8456, sherloc_read_garbage: 305668 5 | EVAL: 3608923, enter_exit: 3600467, sherloc_read: 8456, sherloc_read_garbage: 305668 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/levenshtein_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 9981574, enter_exit: 9956234, sherloc_read: 25340, sherloc_read_garbage: 916281 2 | EVAL: 9981571, enter_exit: 9956231, sherloc_read: 25340, sherloc_read_garbage: 916273 3 | EVAL: 9981577, enter_exit: 9956237, sherloc_read: 25340, sherloc_read_garbage: 916279 4 | EVAL: 9981574, enter_exit: 9956234, sherloc_read: 25340, sherloc_read_garbage: 916278 5 | EVAL: 9981576, enter_exit: 9956236, sherloc_read: 25340, sherloc_read_garbage: 916278 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_arcfour_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 3380223, enter_exit: 3372565, sherloc_read: 7658, sherloc_read_garbage: 276786 2 | EVAL: 3380227, enter_exit: 3372569, sherloc_read: 7658, sherloc_read_garbage: 276787 3 | EVAL: 3380231, enter_exit: 3372573, sherloc_read: 7658, sherloc_read_garbage: 276787 4 | EVAL: 3380309, enter_exit: 3372637, sherloc_read: 7672, sherloc_read_garbage: 277291 5 | EVAL: 3380224, enter_exit: 3372566, sherloc_read: 7658, sherloc_read_garbage: 276788 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_dllist_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 6590870, enter_exit: 6568526, sherloc_read: 22344, sherloc_read_garbage: 808121 2 | EVAL: 6590904, enter_exit: 6568560, sherloc_read: 22344, sherloc_read_garbage: 808119 3 | EVAL: 6590897, enter_exit: 6568553, sherloc_read: 22344, sherloc_read_garbage: 808126 4 | EVAL: 6590903, enter_exit: 6568559, sherloc_read: 22344, sherloc_read_garbage: 808125 5 | EVAL: 6590982, enter_exit: 6568624, sherloc_read: 22358, sherloc_read_garbage: 808631 6 | -------------------------------------------------------------------------------- /Example/Vulfoo_Task_S_NS/FreeRTOS_MPU_ns/RTE/_V2M-MPS2_/RTE_Components.h: -------------------------------------------------------------------------------- 1 | 2 | /* 3 | * Auto generated Run-Time-Environment Configuration File 4 | * *** Do not modify ! *** 5 | * 6 | * Project: 'FreeRTOS_MPU_ns' 7 | * Target: 'V2M-MPS2+' 8 | */ 9 | 10 | #ifndef RTE_COMPONENTS_H 11 | #define RTE_COMPONENTS_H 12 | 13 | 14 | /* 15 | * Define the Device Header File: 16 | */ 17 | #define CMSIS_device_header "IOTKit_CM33_FP.h" 18 | 19 | 20 | 21 | #endif /* RTE_COMPONENTS_H */ 22 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/fasta_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 15326036, enter_exit: 15311686, sherloc_read: 14350, sherloc_read_garbage: 518650 2 | EVAL: 15326115, enter_exit: 15311751, sherloc_read: 14364, sherloc_read_garbage: 519158 3 | EVAL: 15326035, enter_exit: 15311685, sherloc_read: 14350, sherloc_read_garbage: 518652 4 | EVAL: 15326115, enter_exit: 15311751, sherloc_read: 14364, sherloc_read_garbage: 519158 5 | EVAL: 15326035, enter_exit: 15311685, sherloc_read: 14350, sherloc_read_garbage: 518652 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arraybinsearch_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 2203233, enter_exit: 2199411, sherloc_read: 3822, sherloc_read_garbage: 138139 2 | EVAL: 2203233, enter_exit: 2199411, sherloc_read: 3822, sherloc_read_garbage: 138139 3 | EVAL: 2203315, enter_exit: 2199479, sherloc_read: 3836, sherloc_read_garbage: 138646 4 | EVAL: 2203232, enter_exit: 2199410, sherloc_read: 3822, sherloc_read_garbage: 138139 5 | EVAL: 2203234, enter_exit: 2199412, sherloc_read: 3822, sherloc_read_garbage: 138140 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arrayheapsort_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 3304387, enter_exit: 3300901, sherloc_read: 3486, sherloc_read_garbage: 125998 2 | EVAL: 3304383, enter_exit: 3300897, sherloc_read: 3486, sherloc_read_garbage: 125997 3 | EVAL: 3304465, enter_exit: 3300965, sherloc_read: 3500, sherloc_read_garbage: 126505 4 | EVAL: 3304386, enter_exit: 3300900, sherloc_read: 3486, sherloc_read_garbage: 125998 5 | EVAL: 3304383, enter_exit: 3300897, sherloc_read: 3486, sherloc_read_garbage: 125997 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arrayquicksort_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 2189364, enter_exit: 2184170, sherloc_read: 5194, sherloc_read_garbage: 187859 2 | EVAL: 2189444, enter_exit: 2184236, sherloc_read: 5208, sherloc_read_garbage: 188364 3 | EVAL: 2189446, enter_exit: 2184238, sherloc_read: 5208, sherloc_read_garbage: 188364 4 | EVAL: 2189359, enter_exit: 2184165, sherloc_read: 5194, sherloc_read_garbage: 187855 5 | EVAL: 2189440, enter_exit: 2184232, sherloc_read: 5208, sherloc_read_garbage: 188365 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_listinsertsort_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 4549870, enter_exit: 4544648, sherloc_read: 5222, sherloc_read_garbage: 188792 2 | EVAL: 4549941, enter_exit: 4544705, sherloc_read: 5236, sherloc_read_garbage: 189298 3 | EVAL: 4549945, enter_exit: 4544709, sherloc_read: 5236, sherloc_read_garbage: 189294 4 | EVAL: 4549942, enter_exit: 4544706, sherloc_read: 5236, sherloc_read_garbage: 189295 5 | EVAL: 4549940, enter_exit: 4544704, sherloc_read: 5236, sherloc_read_garbage: 189295 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/st_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 29960661, enter_exit: 29921349, sherloc_read: 39312, sherloc_read_garbage: 1421131 2 | EVAL: 29960746, enter_exit: 29921420, sherloc_read: 39326, sherloc_read_garbage: 1421640 3 | EVAL: 29960743, enter_exit: 29921417, sherloc_read: 39326, sherloc_read_garbage: 1421638 4 | EVAL: 29960749, enter_exit: 29921423, sherloc_read: 39326, sherloc_read_garbage: 1421638 5 | EVAL: 29960663, enter_exit: 29921351, sherloc_read: 39312, sherloc_read_garbage: 1421130 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/crc32_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 7422150, enter_exit: 2925682, ibt_check: 4496468, ins_identification_garbage: 0 2 | EVAL: 7422093, enter_exit: 2925682, ibt_check: 4496411, ins_identification_garbage: 0 3 | EVAL: 7422110, enter_exit: 2925682, ibt_check: 4496428, ins_identification_garbage: 0 4 | EVAL: 7430747, enter_exit: 2925755, ibt_check: 4504992, ins_identification_garbage: 0 5 | EVAL: 7422110, enter_exit: 2925682, ibt_check: 4496428, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/ndes_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 10318826, enter_exit: 10295740, sherloc_read: 23086, sherloc_read_garbage: 834712 2 | EVAL: 10318722, enter_exit: 10295622, sherloc_read: 23100, sherloc_read_garbage: 835229 3 | EVAL: 10318647, enter_exit: 10295547, sherloc_read: 23100, sherloc_read_garbage: 835214 4 | EVAL: 10318723, enter_exit: 10295623, sherloc_read: 23100, sherloc_read_garbage: 835225 5 | EVAL: 10318647, enter_exit: 10295547, sherloc_read: 23100, sherloc_read_garbage: 835219 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_aes_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 11802138, enter_exit: 11795992, sherloc_read: 6146, sherloc_read_garbage: 222211 2 | EVAL: 11802212, enter_exit: 11796052, sherloc_read: 6160, sherloc_read_garbage: 222716 3 | EVAL: 11802218, enter_exit: 11796058, sherloc_read: 6160, sherloc_read_garbage: 222711 4 | EVAL: 11802212, enter_exit: 11796052, sherloc_read: 6160, sherloc_read_garbage: 222714 5 | EVAL: 11802219, enter_exit: 11796059, sherloc_read: 6160, sherloc_read_garbage: 222715 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arraybinsearch_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 2960010, enter_exit: 2954662, sherloc_read: 5348, sherloc_read_garbage: 193380 2 | EVAL: 2960008, enter_exit: 2954660, sherloc_read: 5348, sherloc_read_garbage: 193382 3 | EVAL: 2960009, enter_exit: 2954661, sherloc_read: 5348, sherloc_read_garbage: 193384 4 | EVAL: 2960006, enter_exit: 2954658, sherloc_read: 5348, sherloc_read_garbage: 193385 5 | EVAL: 2960008, enter_exit: 2954660, sherloc_read: 5348, sherloc_read_garbage: 193383 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayheapsort_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 3282917, enter_exit: 3276491, sherloc_read: 6426, sherloc_read_garbage: 232407 2 | EVAL: 3282993, enter_exit: 3276553, sherloc_read: 6440, sherloc_read_garbage: 232920 3 | EVAL: 3282908, enter_exit: 3276482, sherloc_read: 6426, sherloc_read_garbage: 232406 4 | EVAL: 3282994, enter_exit: 3276554, sherloc_read: 6440, sherloc_read_garbage: 232915 5 | EVAL: 3282907, enter_exit: 3276481, sherloc_read: 6426, sherloc_read_garbage: 232407 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayquicksort_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 2120935, enter_exit: 2112633, sherloc_read: 8302, sherloc_read_garbage: 300380 2 | EVAL: 2120943, enter_exit: 2112641, sherloc_read: 8302, sherloc_read_garbage: 300381 3 | EVAL: 2120939, enter_exit: 2112637, sherloc_read: 8302, sherloc_read_garbage: 300381 4 | EVAL: 2120931, enter_exit: 2112629, sherloc_read: 8302, sherloc_read_garbage: 300379 5 | EVAL: 2120937, enter_exit: 2112635, sherloc_read: 8302, sherloc_read_garbage: 300380 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_hashtable_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 4333061, enter_exit: 4317101, sherloc_read: 15960, sherloc_read_garbage: 577178 2 | EVAL: 4333062, enter_exit: 4317102, sherloc_read: 15960, sherloc_read_garbage: 577174 3 | EVAL: 4333152, enter_exit: 4317178, sherloc_read: 15974, sherloc_read_garbage: 577680 4 | EVAL: 4333073, enter_exit: 4317113, sherloc_read: 15960, sherloc_read_garbage: 577174 5 | EVAL: 4333065, enter_exit: 4317105, sherloc_read: 15960, sherloc_read_garbage: 577172 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_listsort_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 4539904, enter_exit: 4524056, sherloc_read: 15848, sherloc_read_garbage: 573259 2 | EVAL: 4539978, enter_exit: 4524116, sherloc_read: 15862, sherloc_read_garbage: 573760 3 | EVAL: 4539977, enter_exit: 4524115, sherloc_read: 15862, sherloc_read_garbage: 573769 4 | EVAL: 4539991, enter_exit: 4524129, sherloc_read: 15862, sherloc_read_garbage: 573755 5 | EVAL: 4539981, enter_exit: 4524119, sherloc_read: 15862, sherloc_read_garbage: 573761 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/st_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 39107592, enter_exit: 39054630, sherloc_read: 52962, sherloc_read_garbage: 1914610 2 | EVAL: 39107587, enter_exit: 39054611, sherloc_read: 52976, sherloc_read_garbage: 1915120 3 | EVAL: 39107587, enter_exit: 39054611, sherloc_read: 52976, sherloc_read_garbage: 1915120 4 | EVAL: 39107587, enter_exit: 39054611, sherloc_read: 52976, sherloc_read_garbage: 1915120 5 | EVAL: 39107587, enter_exit: 39054611, sherloc_read: 52976, sherloc_read_garbage: 1915120 6 | -------------------------------------------------------------------------------- /Sherloc_runtime/images.txt: -------------------------------------------------------------------------------- 1 | TITLE: Versatile Express Images Configuration File 2 | 3 | [IMAGES] 4 | TOTALIMAGES: 3 ;Number of Images (Max: 32) 5 | 6 | IMAGE0ADDRESS: 0x30000100 ;Please select the required executable program 7 | IMAGE0FILE: \SOFTWARE\bs.bin ; - branch table 8 | 9 | IMAGE1ADDRESS: 0x10000000 ; 10 | IMAGE1FILE: \SOFTWARE\s.axf ; - sherloc 11 | 12 | IMAGE2ADDRESS: 0x00200000 ; 13 | IMAGE2FILE: \SOFTWARE\ns.axf ; - protected system 14 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/bubblesort_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 11792115, enter_exit: 11779767, sherloc_read: 12348, sherloc_read_garbage: 446405 2 | EVAL: 11792197, enter_exit: 11779835, sherloc_read: 12362, sherloc_read_garbage: 446911 3 | EVAL: 11792199, enter_exit: 11779837, sherloc_read: 12362, sherloc_read_garbage: 446905 4 | EVAL: 11792197, enter_exit: 11779835, sherloc_read: 12362, sherloc_read_garbage: 446910 5 | EVAL: 11792118, enter_exit: 11779770, sherloc_read: 12348, sherloc_read_garbage: 446401 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/crc32_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 2343692, enter_exit: 1976425, ibt_check: 367267, ins_identification_garbage: 16534 2 | EVAL: 2354879, enter_exit: 1976498, ibt_check: 378381, ins_identification_garbage: 17031 3 | EVAL: 2354879, enter_exit: 1976498, ibt_check: 378381, ins_identification_garbage: 17031 4 | EVAL: 2343654, enter_exit: 1976424, ibt_check: 367230, ins_identification_garbage: 16529 5 | EVAL: 2354835, enter_exit: 1976498, ibt_check: 378337, ins_identification_garbage: 17029 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/frac_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 16514497, enter_exit: 16485573, sherloc_read: 28924, sherloc_read_garbage: 1045706 2 | EVAL: 16514498, enter_exit: 16485574, sherloc_read: 28924, sherloc_read_garbage: 1045711 3 | EVAL: 16514491, enter_exit: 16485567, sherloc_read: 28924, sherloc_read_garbage: 1045712 4 | EVAL: 16514580, enter_exit: 16485642, sherloc_read: 28938, sherloc_read_garbage: 1046220 5 | EVAL: 16514500, enter_exit: 16485576, sherloc_read: 28924, sherloc_read_garbage: 1045711 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/levenshtein_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 10163323, enter_exit: 10147461, sherloc_read: 15862, sherloc_read_garbage: 573372 2 | EVAL: 10163399, enter_exit: 10147523, sherloc_read: 15876, sherloc_read_garbage: 573882 3 | EVAL: 10163399, enter_exit: 10147523, sherloc_read: 15876, sherloc_read_garbage: 573882 4 | EVAL: 10163319, enter_exit: 10147457, sherloc_read: 15862, sherloc_read_garbage: 573376 5 | EVAL: 10163400, enter_exit: 10147524, sherloc_read: 15876, sherloc_read_garbage: 573882 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/edn_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 11333738, enter_exit: 11303288, sherloc_read: 30450, sherloc_read_garbage: 1100628 2 | EVAL: 11333836, enter_exit: 11303372, sherloc_read: 30464, sherloc_read_garbage: 1101131 3 | EVAL: 11333754, enter_exit: 11303304, sherloc_read: 30450, sherloc_read_garbage: 1100635 4 | EVAL: 11333855, enter_exit: 11303391, sherloc_read: 30464, sherloc_read_garbage: 1101140 5 | EVAL: 11333777, enter_exit: 11303327, sherloc_read: 30450, sherloc_read_garbage: 1100637 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/frac_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 16093925, enter_exit: 16065393, sherloc_read: 28532, sherloc_read_garbage: 1031703 2 | EVAL: 16094004, enter_exit: 16065458, sherloc_read: 28546, sherloc_read_garbage: 1032209 3 | EVAL: 16094006, enter_exit: 16065460, sherloc_read: 28546, sherloc_read_garbage: 1032210 4 | EVAL: 16093992, enter_exit: 16065446, sherloc_read: 28546, sherloc_read_garbage: 1032208 5 | EVAL: 16093996, enter_exit: 16065450, sherloc_read: 28546, sherloc_read_garbage: 1032208 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_arcfour_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8069729, enter_exit: 3375847, ibt_check: 4693882, ins_identification_garbage: 0 2 | EVAL: 8069710, enter_exit: 3375851, ibt_check: 4693859, ins_identification_garbage: 0 3 | EVAL: 8069714, enter_exit: 3375855, ibt_check: 4693859, ins_identification_garbage: 0 4 | EVAL: 8078331, enter_exit: 3375925, ibt_check: 4702406, ins_identification_garbage: 0 5 | EVAL: 8069724, enter_exit: 3375848, ibt_check: 4693876, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_listinsertsort_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 7314622, enter_exit: 7289576, sherloc_read: 25046, sherloc_read_garbage: 905395 2 | EVAL: 7314619, enter_exit: 7289573, sherloc_read: 25046, sherloc_read_garbage: 905400 3 | EVAL: 7314619, enter_exit: 7289573, sherloc_read: 25046, sherloc_read_garbage: 905400 4 | EVAL: 7314622, enter_exit: 7289576, sherloc_read: 25046, sherloc_read_garbage: 905395 5 | EVAL: 7314629, enter_exit: 7289583, sherloc_read: 25046, sherloc_read_garbage: 905384 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_queue_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8884880, enter_exit: 3783594, ibt_check: 5101286, ins_identification_garbage: 0 2 | EVAL: 8884703, enter_exit: 3783610, ibt_check: 5101093, ins_identification_garbage: 0 3 | EVAL: 8884704, enter_exit: 3783611, ibt_check: 5101093, ins_identification_garbage: 0 4 | EVAL: 8893364, enter_exit: 3783673, ibt_check: 5109691, ins_identification_garbage: 0 5 | EVAL: 8884693, enter_exit: 3783600, ibt_check: 5101093, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/Sherloc_FreeRTOS_MPU_S_NS/FreeRTOS_MPU_ns/RTE/_V2M-MPS2_/RTE_Components.h: -------------------------------------------------------------------------------- 1 | 2 | /* 3 | * Auto generated Run-Time-Environment Configuration File 4 | * *** Do not modify ! *** 5 | * 6 | * Project: 'FreeRTOS_MPU_ns' 7 | * Target: 'V2M-MPS2+' 8 | */ 9 | 10 | #ifndef RTE_COMPONENTS_H 11 | #define RTE_COMPONENTS_H 12 | 13 | 14 | /* 15 | * Define the Device Header File: 16 | */ 17 | #define CMSIS_device_header "IOTKit_CM33_FP.h" 18 | 19 | 20 | 21 | #endif /* RTE_COMPONENTS_H */ 22 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/ndes_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 3591436, enter_exit: 2455080, ibt_check: 1136356, ins_identification_garbage: 51157 2 | EVAL: 3591300, enter_exit: 2455003, ibt_check: 1136297, ins_identification_garbage: 51151 3 | EVAL: 3591281, enter_exit: 2455006, ibt_check: 1136275, ins_identification_garbage: 51150 4 | EVAL: 3591297, enter_exit: 2455000, ibt_check: 1136297, ins_identification_garbage: 51151 5 | EVAL: 3591324, enter_exit: 2455005, ibt_check: 1136319, ins_identification_garbage: 51152 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_rbtree_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 16727395, enter_exit: 16683561, sherloc_read: 43834, sherloc_read_garbage: 1585135 2 | EVAL: 16727429, enter_exit: 16683595, sherloc_read: 43834, sherloc_read_garbage: 1585162 3 | EVAL: 16727428, enter_exit: 16683594, sherloc_read: 43834, sherloc_read_garbage: 1585159 4 | EVAL: 16727388, enter_exit: 16683554, sherloc_read: 43834, sherloc_read_garbage: 1585151 5 | EVAL: 16727418, enter_exit: 16683584, sherloc_read: 43834, sherloc_read_garbage: 1585163 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/bubblesort_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 21293142, enter_exit: 21254880, sherloc_read: 38262, sherloc_read_garbage: 1383077 2 | EVAL: 21293219, enter_exit: 21254943, sherloc_read: 38276, sherloc_read_garbage: 1383579 3 | EVAL: 21293219, enter_exit: 21254943, sherloc_read: 38276, sherloc_read_garbage: 1383584 4 | EVAL: 21293216, enter_exit: 21254940, sherloc_read: 38276, sherloc_read_garbage: 1383581 5 | EVAL: 21293221, enter_exit: 21254945, sherloc_read: 38276, sherloc_read_garbage: 1383580 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/edn_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 29981346, enter_exit: 11316338, ibt_check: 18665008, ins_identification_garbage: 0 2 | EVAL: 29989926, enter_exit: 11316428, ibt_check: 18673498, ins_identification_garbage: 0 3 | EVAL: 29981441, enter_exit: 11316354, ibt_check: 18665087, ins_identification_garbage: 0 4 | EVAL: 29990098, enter_exit: 11316447, ibt_check: 18673651, ins_identification_garbage: 0 5 | EVAL: 29981498, enter_exit: 11316377, ibt_check: 18665121, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/frac_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 34019809, enter_exit: 16077621, ibt_check: 17942188, ins_identification_garbage: 0 2 | EVAL: 34028613, enter_exit: 16077692, ibt_check: 17950921, ins_identification_garbage: 0 3 | EVAL: 34028641, enter_exit: 16077694, ibt_check: 17950947, ins_identification_garbage: 0 4 | EVAL: 34028602, enter_exit: 16077680, ibt_check: 17950922, ins_identification_garbage: 0 5 | EVAL: 34028606, enter_exit: 16077684, ibt_check: 17950922, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayheapsort_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 7220532, enter_exit: 3279245, ibt_check: 3941287, ins_identification_garbage: 0 2 | EVAL: 7229260, enter_exit: 3279313, ibt_check: 3949947, ins_identification_garbage: 0 3 | EVAL: 7220466, enter_exit: 3279236, ibt_check: 3941230, ins_identification_garbage: 0 4 | EVAL: 7229176, enter_exit: 3279314, ibt_check: 3949862, ins_identification_garbage: 0 5 | EVAL: 7220482, enter_exit: 3279235, ibt_check: 3941247, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_listsort_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 14252486, enter_exit: 4530848, ibt_check: 9721638, ins_identification_garbage: 0 2 | EVAL: 14261008, enter_exit: 4530914, ibt_check: 9730094, ins_identification_garbage: 0 3 | EVAL: 14261160, enter_exit: 4530913, ibt_check: 9730247, ins_identification_garbage: 0 4 | EVAL: 14260936, enter_exit: 4530927, ibt_check: 9730009, ins_identification_garbage: 0 5 | EVAL: 14261028, enter_exit: 4530917, ibt_check: 9730111, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_rbtree_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 17593336, enter_exit: 17543650, sherloc_read: 49686, sherloc_read_garbage: 1796994 2 | EVAL: 17593341, enter_exit: 17543655, sherloc_read: 49686, sherloc_read_garbage: 1797005 3 | EVAL: 17593421, enter_exit: 17543721, sherloc_read: 49700, sherloc_read_garbage: 1797488 4 | EVAL: 17593347, enter_exit: 17543661, sherloc_read: 49686, sherloc_read_garbage: 1797002 5 | EVAL: 17593431, enter_exit: 17543731, sherloc_read: 49700, sherloc_read_garbage: 1797509 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/st_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 72774816, enter_exit: 39077328, ibt_check: 33697488, ins_identification_garbage: 0 2 | EVAL: 72783650, enter_exit: 39077309, ibt_check: 33706341, ins_identification_garbage: 0 3 | EVAL: 72783650, enter_exit: 39077309, ibt_check: 33706341, ins_identification_garbage: 0 4 | EVAL: 72783650, enter_exit: 39077309, ibt_check: 33706341, ins_identification_garbage: 0 5 | EVAL: 72783650, enter_exit: 39077309, ibt_check: 33706341, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/Sherloc_FreeRTOS_MPU_S_NS/Sherloc_s/TeeCI_s_build.log: -------------------------------------------------------------------------------- 1 | *** Using Compiler 'V6.19', folder: 'C:\Keil_v5\ARM\ARMCLANG\Bin' 2 | Build target 'V2M-MPS2+' 3 | ../../../Sherloc_runtime/src/sherloc_s.c(2): error: '../inc/bt_s.h' file not found 4 | #include "../inc/bt_s.h" 5 | ^~~~~~~~~~~~~~~ 6 | 1 error generated. 7 | compiling sherloc_s.c... 8 | creating list file for sherloc_s.c... 9 | ".\Objects\Sherloc_s.axf" - 1 Error(s), 0 Warning(s). 10 | Target not created. 11 | Build Time Elapsed: 00:00:01 12 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/crc32_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 2342242, enter_exit: 1976425, ibt_check: 365817, ins_identification_garbage: 16534 2 | EVAL: 2353374, enter_exit: 1976498, ibt_check: 376876, ins_identification_garbage: 17031 3 | EVAL: 2353374, enter_exit: 1976498, ibt_check: 376876, ins_identification_garbage: 17031 4 | EVAL: 2342193, enter_exit: 1976424, ibt_check: 365769, ins_identification_garbage: 16529 5 | EVAL: 2353330, enter_exit: 1976498, ibt_check: 376832, ins_identification_garbage: 17029 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/edn_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8053206, enter_exit: 5794519, ibt_check: 2258687, ins_identification_garbage: 101194 2 | EVAL: 8064391, enter_exit: 5794593, ibt_check: 2269798, ins_identification_garbage: 101688 3 | EVAL: 8064392, enter_exit: 5794594, ibt_check: 2269798, ins_identification_garbage: 101688 4 | EVAL: 8064392, enter_exit: 5794593, ibt_check: 2269799, ins_identification_garbage: 101689 5 | EVAL: 8064371, enter_exit: 5794594, ibt_check: 2269777, ins_identification_garbage: 101688 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nettle_arcfour_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 2387848, enter_exit: 1942634, ibt_check: 445214, ins_identification_garbage: 20043 2 | EVAL: 2399014, enter_exit: 1942708, ibt_check: 456306, ins_identification_garbage: 20539 3 | EVAL: 2399014, enter_exit: 1942708, ibt_check: 456306, ins_identification_garbage: 20539 4 | EVAL: 2398991, enter_exit: 1942707, ibt_check: 456284, ins_identification_garbage: 20538 5 | EVAL: 2398987, enter_exit: 1942703, ibt_check: 456284, ins_identification_garbage: 20538 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/rijndael_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 112627281, enter_exit: 112611615, sherloc_read: 15666, sherloc_read_garbage: 566504 2 | EVAL: 112627502, enter_exit: 112611808, sherloc_read: 15694, sherloc_read_garbage: 567508 3 | EVAL: 112627393, enter_exit: 112611713, sherloc_read: 15680, sherloc_read_garbage: 567009 4 | EVAL: 112627460, enter_exit: 112611780, sherloc_read: 15680, sherloc_read_garbage: 567002 5 | EVAL: 112627393, enter_exit: 112611713, sherloc_read: 15680, sherloc_read_garbage: 567009 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/crc32_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8757310, enter_exit: 2925682, ibt_check: 5831628, ins_identification_garbage: 262526 2 | EVAL: 8757229, enter_exit: 2925682, ibt_check: 5831547, ins_identification_garbage: 262519 3 | EVAL: 8757251, enter_exit: 2925682, ibt_check: 5831569, ins_identification_garbage: 262520 4 | EVAL: 8768431, enter_exit: 2925755, ibt_check: 5842676, ins_identification_garbage: 263020 5 | EVAL: 8757251, enter_exit: 2925682, ibt_check: 5831569, ins_identification_garbage: 262520 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/fasta_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 64325830, enter_exit: 29124974, ibt_check: 35200856, ins_identification_garbage: 0 2 | EVAL: 64325808, enter_exit: 29124958, ibt_check: 35200850, ins_identification_garbage: 0 3 | EVAL: 64325748, enter_exit: 29124915, ibt_check: 35200833, ins_identification_garbage: 0 4 | EVAL: 64325782, enter_exit: 29124932, ibt_check: 35200850, ins_identification_garbage: 0 5 | EVAL: 64325776, enter_exit: 29124960, ibt_check: 35200816, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/levenshtein_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 25505868, enter_exit: 9967094, ibt_check: 15538774, ins_identification_garbage: 0 2 | EVAL: 25505689, enter_exit: 9967091, ibt_check: 15538598, ins_identification_garbage: 0 3 | EVAL: 25505797, enter_exit: 9967097, ibt_check: 15538700, ins_identification_garbage: 0 4 | EVAL: 25505777, enter_exit: 9967094, ibt_check: 15538683, ins_identification_garbage: 0 5 | EVAL: 25505779, enter_exit: 9967096, ibt_check: 15538683, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_aes_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 15586951, enter_exit: 11798626, ibt_check: 3788325, ins_identification_garbage: 0 2 | EVAL: 15595577, enter_exit: 11798692, ibt_check: 3796885, ins_identification_garbage: 0 3 | EVAL: 15595480, enter_exit: 11798698, ibt_check: 3796782, ins_identification_garbage: 0 4 | EVAL: 15595525, enter_exit: 11798692, ibt_check: 3796833, ins_identification_garbage: 0 5 | EVAL: 15595549, enter_exit: 11798699, ibt_check: 3796850, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arraybinsearch_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 6236399, enter_exit: 2956954, ibt_check: 3279445, ins_identification_garbage: 0 2 | EVAL: 6236391, enter_exit: 2956952, ibt_check: 3279439, ins_identification_garbage: 0 3 | EVAL: 6236426, enter_exit: 2956953, ibt_check: 3279473, ins_identification_garbage: 0 4 | EVAL: 6236440, enter_exit: 2956950, ibt_check: 3279490, ins_identification_garbage: 0 5 | EVAL: 6236408, enter_exit: 2956952, ibt_check: 3279456, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayquicksort_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 7210205, enter_exit: 2116191, ibt_check: 5094014, ins_identification_garbage: 0 2 | EVAL: 7210190, enter_exit: 2116199, ibt_check: 5093991, ins_identification_garbage: 0 3 | EVAL: 7210186, enter_exit: 2116195, ibt_check: 5093991, ins_identification_garbage: 0 4 | EVAL: 7210144, enter_exit: 2116187, ibt_check: 5093957, ins_identification_garbage: 0 5 | EVAL: 7210167, enter_exit: 2116193, ibt_check: 5093974, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_dllist_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 20282650, enter_exit: 6578102, ibt_check: 13704548, ins_identification_garbage: 0 2 | EVAL: 20282610, enter_exit: 6578136, ibt_check: 13704474, ins_identification_garbage: 0 3 | EVAL: 20282722, enter_exit: 6578129, ibt_check: 13704593, ins_identification_garbage: 0 4 | EVAL: 20282711, enter_exit: 6578135, ibt_check: 13704576, ins_identification_garbage: 0 5 | EVAL: 20291363, enter_exit: 6578206, ibt_check: 13713157, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_hashtable_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 14112034, enter_exit: 4323941, ibt_check: 9788093, ins_identification_garbage: 0 2 | EVAL: 14111927, enter_exit: 4323942, ibt_check: 9787985, ins_identification_garbage: 0 3 | EVAL: 14120590, enter_exit: 4324024, ibt_check: 9796566, ins_identification_garbage: 0 4 | EVAL: 14111938, enter_exit: 4323953, ibt_check: 9787985, ins_identification_garbage: 0 5 | EVAL: 14111896, enter_exit: 4323945, ibt_check: 9787951, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nbody_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 180367183, enter_exit: 180141587, sherloc_read: 225596, sherloc_read_garbage: 8155404 2 | EVAL: 180367604, enter_exit: 180142008, sherloc_read: 225596, sherloc_read_garbage: 8155403 3 | EVAL: 180367677, enter_exit: 180142067, sherloc_read: 225610, sherloc_read_garbage: 8155909 4 | EVAL: 180367599, enter_exit: 180142003, sherloc_read: 225596, sherloc_read_garbage: 8155403 5 | EVAL: 180367591, enter_exit: 180141995, sherloc_read: 225596, sherloc_read_garbage: 8155402 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/ndes_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 3586950, enter_exit: 2455080, ibt_check: 1131870, ins_identification_garbage: 51157 2 | EVAL: 3586803, enter_exit: 2455003, ibt_check: 1131800, ins_identification_garbage: 51151 3 | EVAL: 3586784, enter_exit: 2455006, ibt_check: 1131778, ins_identification_garbage: 51150 4 | EVAL: 3586800, enter_exit: 2455000, ibt_check: 1131800, ins_identification_garbage: 51151 5 | EVAL: 3586827, enter_exit: 2455005, ibt_check: 1131822, ins_identification_garbage: 51152 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nettle_aes_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 11196725, enter_exit: 9460591, ibt_check: 1736134, ins_identification_garbage: 78157 2 | EVAL: 11196686, enter_exit: 9460589, ibt_check: 1736097, ins_identification_garbage: 78152 3 | EVAL: 11207869, enter_exit: 9460665, ibt_check: 1747204, ins_identification_garbage: 78652 4 | EVAL: 11196686, enter_exit: 9460589, ibt_check: 1736097, ins_identification_garbage: 78152 5 | EVAL: 11196668, enter_exit: 9460593, ibt_check: 1736075, ins_identification_garbage: 78151 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/qrduino_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 126314814, enter_exit: 126092172, sherloc_read: 222642, sherloc_read_garbage: 8048839 2 | EVAL: 126314917, enter_exit: 126092261, sherloc_read: 222656, sherloc_read_garbage: 8049317 3 | EVAL: 126314917, enter_exit: 126092261, sherloc_read: 222656, sherloc_read_garbage: 8049317 4 | EVAL: 126314917, enter_exit: 126092261, sherloc_read: 222656, sherloc_read_garbage: 8049317 5 | EVAL: 126314917, enter_exit: 126092261, sherloc_read: 222656, sherloc_read_garbage: 8049317 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_hashtable_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 2806866, enter_exit: 1336456, ibt_check: 1470410, ins_identification_garbage: 65951 2 | EVAL: 2806717, enter_exit: 1336454, ibt_check: 1470263, ins_identification_garbage: 65941 3 | EVAL: 2806779, enter_exit: 1336449, ibt_check: 1470330, ins_identification_garbage: 65945 4 | EVAL: 2806783, enter_exit: 1336454, ibt_check: 1470329, ins_identification_garbage: 65944 5 | EVAL: 2817958, enter_exit: 1336523, ibt_check: 1481435, ins_identification_garbage: 66443 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/bubblesort_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 44726201, enter_exit: 21271278, ibt_check: 23454923, ins_identification_garbage: 0 2 | EVAL: 44734743, enter_exit: 21271347, ibt_check: 23463396, ins_identification_garbage: 0 3 | EVAL: 44734828, enter_exit: 21271347, ibt_check: 23463481, ins_identification_garbage: 0 4 | EVAL: 44734774, enter_exit: 21271344, ibt_check: 23463430, ins_identification_garbage: 0 5 | EVAL: 44734762, enter_exit: 21271349, ibt_check: 23463413, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_rbtree_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 48039320, enter_exit: 17564944, ibt_check: 30474376, ins_identification_garbage: 0 2 | EVAL: 48039472, enter_exit: 17564949, ibt_check: 30474523, ins_identification_garbage: 0 3 | EVAL: 48047734, enter_exit: 17565021, ibt_check: 30482713, ins_identification_garbage: 0 4 | EVAL: 48039427, enter_exit: 17564955, ibt_check: 30474472, ins_identification_garbage: 0 5 | EVAL: 48048101, enter_exit: 17565031, ibt_check: 30483070, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/dijkstra_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 112013709, enter_exit: 111808553, sherloc_read: 205156, sherloc_read_garbage: 7417622 2 | EVAL: 112013697, enter_exit: 111808541, sherloc_read: 205156, sherloc_read_garbage: 7417615 3 | EVAL: 112013713, enter_exit: 111808557, sherloc_read: 205156, sherloc_read_garbage: 7417631 4 | EVAL: 112013711, enter_exit: 111808555, sherloc_read: 205156, sherloc_read_garbage: 7417630 5 | EVAL: 112013707, enter_exit: 111808551, sherloc_read: 205156, sherloc_read_garbage: 7417622 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/edn_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8043766, enter_exit: 5794519, ibt_check: 2249247, ins_identification_garbage: 101194 2 | EVAL: 8054893, enter_exit: 5794593, ibt_check: 2260300, ins_identification_garbage: 101688 3 | EVAL: 8054894, enter_exit: 5794594, ibt_check: 2260300, ins_identification_garbage: 101688 4 | EVAL: 8054895, enter_exit: 5794593, ibt_check: 2260302, ins_identification_garbage: 101689 5 | EVAL: 8054874, enter_exit: 5794594, ibt_check: 2260280, ins_identification_garbage: 101688 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nettle_arcfour_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 2386090, enter_exit: 1942634, ibt_check: 443456, ins_identification_garbage: 20043 2 | EVAL: 2397201, enter_exit: 1942708, ibt_check: 454493, ins_identification_garbage: 20539 3 | EVAL: 2397201, enter_exit: 1942708, ibt_check: 454493, ins_identification_garbage: 20539 4 | EVAL: 2397178, enter_exit: 1942707, ibt_check: 454471, ins_identification_garbage: 20538 5 | EVAL: 2397174, enter_exit: 1942703, ibt_check: 454471, ins_identification_garbage: 20538 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/picojpeg_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 116729815, enter_exit: 116614623, sherloc_read: 115192, sherloc_read_garbage: 4164216 2 | EVAL: 116730400, enter_exit: 116615194, sherloc_read: 115206, sherloc_read_garbage: 4164731 3 | EVAL: 116729833, enter_exit: 116614641, sherloc_read: 115192, sherloc_read_garbage: 4164204 4 | EVAL: 116730399, enter_exit: 116615193, sherloc_read: 115206, sherloc_read_garbage: 4164734 5 | EVAL: 116729912, enter_exit: 116614706, sherloc_read: 115206, sherloc_read_garbage: 4164710 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_queue_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 6396652, enter_exit: 3625455, ibt_check: 2771197, ins_identification_garbage: 124753 2 | EVAL: 6396567, enter_exit: 3625451, ibt_check: 2771116, ins_identification_garbage: 124746 3 | EVAL: 6407771, enter_exit: 3625526, ibt_check: 2782245, ins_identification_garbage: 125247 4 | EVAL: 6396567, enter_exit: 3625451, ibt_check: 2771116, ins_identification_garbage: 124746 5 | EVAL: 6396546, enter_exit: 3625452, ibt_check: 2771094, ins_identification_garbage: 124745 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/crc32_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8734256, enter_exit: 2925682, ibt_check: 5808574, ins_identification_garbage: 262526 2 | EVAL: 8734164, enter_exit: 2925682, ibt_check: 5808482, ins_identification_garbage: 262519 3 | EVAL: 8734186, enter_exit: 2925682, ibt_check: 5808504, ins_identification_garbage: 262520 4 | EVAL: 8745322, enter_exit: 2925755, ibt_check: 5819567, ins_identification_garbage: 263020 5 | EVAL: 8734186, enter_exit: 2925682, ibt_check: 5808504, ins_identification_garbage: 262520 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nbody_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 190080759, enter_exit: 189796433, sherloc_read: 284326, sherloc_read_garbage: 10281279 2 | EVAL: 190081179, enter_exit: 189796853, sherloc_read: 284326, sherloc_read_garbage: 10281226 3 | EVAL: 190081178, enter_exit: 189796852, sherloc_read: 284326, sherloc_read_garbage: 10281226 4 | EVAL: 190081256, enter_exit: 189796916, sherloc_read: 284340, sherloc_read_garbage: 10281732 5 | EVAL: 190081179, enter_exit: 189796853, sherloc_read: 284326, sherloc_read_garbage: 10281226 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_arcfour_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 9463508, enter_exit: 3375847, ibt_check: 6087661, ins_identification_garbage: 274052 2 | EVAL: 9463475, enter_exit: 3375851, ibt_check: 6087624, ins_identification_garbage: 274047 3 | EVAL: 9463479, enter_exit: 3375855, ibt_check: 6087624, ins_identification_garbage: 274047 4 | EVAL: 9474634, enter_exit: 3375925, ibt_check: 6098709, ins_identification_garbage: 274546 5 | EVAL: 9463494, enter_exit: 3375848, ibt_check: 6087646, ins_identification_garbage: 274048 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/qrduino_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 169161002, enter_exit: 168702124, sherloc_read: 458878, sherloc_read_garbage: 16594811 2 | EVAL: 169161081, enter_exit: 168702189, sherloc_read: 458892, sherloc_read_garbage: 16595337 3 | EVAL: 169161074, enter_exit: 168702182, sherloc_read: 458892, sherloc_read_garbage: 16595337 4 | EVAL: 169161065, enter_exit: 168702173, sherloc_read: 458892, sherloc_read_garbage: 16595344 5 | EVAL: 169161072, enter_exit: 168702180, sherloc_read: 458892, sherloc_read_garbage: 16595327 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/rijndael_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 144753925, enter_exit: 144579947, sherloc_read: 173978, sherloc_read_garbage: 6288377 2 | EVAL: 144753896, enter_exit: 144579918, sherloc_read: 173978, sherloc_read_garbage: 6288371 3 | EVAL: 144753993, enter_exit: 144580001, sherloc_read: 173992, sherloc_read_garbage: 6288868 4 | EVAL: 144753915, enter_exit: 144579937, sherloc_read: 173978, sherloc_read_garbage: 6288377 5 | EVAL: 144754003, enter_exit: 144580011, sherloc_read: 173992, sherloc_read_garbage: 6288881 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_listinsertsort_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 22654463, enter_exit: 7300310, ibt_check: 15354153, ins_identification_garbage: 0 2 | EVAL: 22654505, enter_exit: 7300307, ibt_check: 15354198, ins_identification_garbage: 0 3 | EVAL: 22654505, enter_exit: 7300307, ibt_check: 15354198, ins_identification_garbage: 0 4 | EVAL: 22654423, enter_exit: 7300310, ibt_check: 15354113, ins_identification_garbage: 0 5 | EVAL: 22654243, enter_exit: 7300317, ibt_check: 15353926, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_100ms_sherloc_read_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 35247403, enter_exit: 35203471, sherloc_read: 43932, sherloc_read_garbage: 1594156 2 | EVAL: 34652686, enter_exit: 34608810, sherloc_read: 43876, sherloc_read_garbage: 1592124 3 | EVAL: 34712183, enter_exit: 34668307, sherloc_read: 43876, sherloc_read_garbage: 1592123 4 | EVAL: 34712276, enter_exit: 34668386, sherloc_read: 43890, sherloc_read_garbage: 1592633 5 | EVAL: 34652623, enter_exit: 34608761, sherloc_read: 43862, sherloc_read_garbage: 1591615 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/Sherloc_Blinky_ns_10ms_sherloc_read_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 35707552, enter_exit: 35663564, sherloc_read: 43988, sherloc_read_garbage: 1596220 2 | EVAL: 35117933, enter_exit: 35074001, sherloc_read: 43932, sherloc_read_garbage: 1594196 3 | EVAL: 35118640, enter_exit: 35074708, sherloc_read: 43932, sherloc_read_garbage: 1594189 4 | EVAL: 35117458, enter_exit: 35073526, sherloc_read: 43932, sherloc_read_garbage: 1594195 5 | EVAL: 35121486, enter_exit: 35077554, sherloc_read: 43932, sherloc_read_garbage: 1594188 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/bubblesort_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 21603333, enter_exit: 11785059, ibt_check: 9818274, ins_identification_garbage: 441996 2 | EVAL: 21614477, enter_exit: 11785133, ibt_check: 9829344, ins_identification_garbage: 442491 3 | EVAL: 21614347, enter_exit: 11785135, ibt_check: 9829212, ins_identification_garbage: 442485 4 | EVAL: 21614455, enter_exit: 11785133, ibt_check: 9829322, ins_identification_garbage: 442490 5 | EVAL: 21603189, enter_exit: 11785062, ibt_check: 9818127, ins_identification_garbage: 441986 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/fasta_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 26725071, enter_exit: 15317836, ibt_check: 11407235, ins_identification_garbage: 513526 2 | EVAL: 26736256, enter_exit: 15317907, ibt_check: 11418349, ins_identification_garbage: 514023 3 | EVAL: 26725055, enter_exit: 15317835, ibt_check: 11407220, ins_identification_garbage: 513522 4 | EVAL: 26736256, enter_exit: 15317907, ibt_check: 11418349, ins_identification_garbage: 514023 5 | EVAL: 26725055, enter_exit: 15317835, ibt_check: 11407220, ins_identification_garbage: 513522 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/frac_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 39340151, enter_exit: 16497969, ibt_check: 22842182, ins_identification_garbage: 878215 2 | EVAL: 39340202, enter_exit: 16497970, ibt_check: 22842232, ins_identification_garbage: 878213 3 | EVAL: 39340216, enter_exit: 16497963, ibt_check: 22842253, ins_identification_garbage: 878213 4 | EVAL: 39351398, enter_exit: 16498044, ibt_check: 22853354, ins_identification_garbage: 878644 5 | EVAL: 39340201, enter_exit: 16497972, ibt_check: 22842229, ins_identification_garbage: 878210 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nettle_aes_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 11189863, enter_exit: 9460591, ibt_check: 1729272, ins_identification_garbage: 78157 2 | EVAL: 11189813, enter_exit: 9460589, ibt_check: 1729224, ins_identification_garbage: 78152 3 | EVAL: 11200952, enter_exit: 9460665, ibt_check: 1740287, ins_identification_garbage: 78652 4 | EVAL: 11189813, enter_exit: 9460589, ibt_check: 1729224, ins_identification_garbage: 78152 5 | EVAL: 11189795, enter_exit: 9460593, ibt_check: 1729202, ins_identification_garbage: 78151 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arraybinsearch_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 5239298, enter_exit: 2201049, ibt_check: 3038249, ins_identification_garbage: 136775 2 | EVAL: 5239239, enter_exit: 2201049, ibt_check: 3038190, ins_identification_garbage: 136769 3 | EVAL: 5250464, enter_exit: 2201123, ibt_check: 3049341, ins_identification_garbage: 137271 4 | EVAL: 5239238, enter_exit: 2201048, ibt_check: 3038190, ins_identification_garbage: 136769 5 | EVAL: 5239262, enter_exit: 2201050, ibt_check: 3038212, ins_identification_garbage: 136770 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arrayheapsort_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 6073358, enter_exit: 3302395, ibt_check: 2770963, ins_identification_garbage: 124498 2 | EVAL: 6073273, enter_exit: 3302391, ibt_check: 2770882, ins_identification_garbage: 124491 3 | EVAL: 6084520, enter_exit: 3302465, ibt_check: 2782055, ins_identification_garbage: 124994 4 | EVAL: 6073298, enter_exit: 3302394, ibt_check: 2770904, ins_identification_garbage: 124492 5 | EVAL: 6073273, enter_exit: 3302391, ibt_check: 2770882, ins_identification_garbage: 124491 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arrayquicksort_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 6317935, enter_exit: 2186396, ibt_check: 4131539, ins_identification_garbage: 185749 2 | EVAL: 6329055, enter_exit: 2186468, ibt_check: 4142587, ins_identification_garbage: 186243 3 | EVAL: 6329057, enter_exit: 2186470, ibt_check: 4142587, ins_identification_garbage: 186243 4 | EVAL: 6317783, enter_exit: 2186391, ibt_check: 4131392, ins_identification_garbage: 185739 5 | EVAL: 6329073, enter_exit: 2186464, ibt_check: 4142609, ins_identification_garbage: 186244 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_dllist_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 12274976, enter_exit: 4471887, ibt_check: 7803089, ins_identification_garbage: 351277 2 | EVAL: 12285951, enter_exit: 4471902, ibt_check: 7814049, ins_identification_garbage: 351767 3 | EVAL: 12286065, enter_exit: 4471950, ibt_check: 7814115, ins_identification_garbage: 351770 4 | EVAL: 12285929, enter_exit: 4471902, ibt_check: 7814027, ins_identification_garbage: 351766 5 | EVAL: 12286042, enter_exit: 4471949, ibt_check: 7814093, ins_identification_garbage: 351769 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_hashtable_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 2800804, enter_exit: 1336456, ibt_check: 1464348, ins_identification_garbage: 65951 2 | EVAL: 2800644, enter_exit: 1336454, ibt_check: 1464190, ins_identification_garbage: 65941 3 | EVAL: 2800707, enter_exit: 1336449, ibt_check: 1464258, ins_identification_garbage: 65945 4 | EVAL: 2800710, enter_exit: 1336454, ibt_check: 1464256, ins_identification_garbage: 65944 5 | EVAL: 2811840, enter_exit: 1336523, ibt_check: 1475317, ins_identification_garbage: 66443 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_listinsertsort_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8699201, enter_exit: 4546886, ibt_check: 4152315, ins_identification_garbage: 186928 2 | EVAL: 8710334, enter_exit: 4546949, ibt_check: 4163385, ins_identification_garbage: 187423 3 | EVAL: 8710250, enter_exit: 4546953, ibt_check: 4163297, ins_identification_garbage: 187419 4 | EVAL: 8710269, enter_exit: 4546950, ibt_check: 4163319, ins_identification_garbage: 187420 5 | EVAL: 8710267, enter_exit: 4546948, ibt_check: 4163319, ins_identification_garbage: 187420 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_listsort_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 10315792, enter_exit: 3604027, ibt_check: 6711765, ins_identification_garbage: 302148 2 | EVAL: 10326927, enter_exit: 3604092, ibt_check: 6722835, ins_identification_garbage: 302643 3 | EVAL: 10326969, enter_exit: 3604090, ibt_check: 6722879, ins_identification_garbage: 302645 4 | EVAL: 10326929, enter_exit: 3604094, ibt_check: 6722835, ins_identification_garbage: 302643 5 | EVAL: 10326926, enter_exit: 3604091, ibt_check: 6722835, ins_identification_garbage: 302643 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_queue_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 6385698, enter_exit: 3625455, ibt_check: 2760243, ins_identification_garbage: 124753 2 | EVAL: 6385602, enter_exit: 3625451, ibt_check: 2760151, ins_identification_garbage: 124746 3 | EVAL: 6396762, enter_exit: 3625526, ibt_check: 2771236, ins_identification_garbage: 125247 4 | EVAL: 6385602, enter_exit: 3625451, ibt_check: 2760151, ins_identification_garbage: 124746 5 | EVAL: 6385581, enter_exit: 3625452, ibt_check: 2760129, ins_identification_garbage: 124745 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/whetstone_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 244752068, enter_exit: 244414276, sherloc_read: 337792, sherloc_read_garbage: 12212030 2 | EVAL: 244752950, enter_exit: 244415158, sherloc_read: 337792, sherloc_read_garbage: 12212020 3 | EVAL: 244752940, enter_exit: 244415148, sherloc_read: 337792, sherloc_read_garbage: 12212037 4 | EVAL: 244752940, enter_exit: 244415148, sherloc_read: 337792, sherloc_read_garbage: 12212037 5 | EVAL: 244752940, enter_exit: 244415148, sherloc_read: 337792, sherloc_read_garbage: 12212037 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_100ms_sherloc_read_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 45435252, enter_exit: 45344140, sherloc_read: 91112, sherloc_read_garbage: 3306921 2 | EVAL: 44788137, enter_exit: 44698173, sherloc_read: 89964, sherloc_read_garbage: 3265263 3 | EVAL: 44917618, enter_exit: 44827430, sherloc_read: 90188, sherloc_read_garbage: 3273390 4 | EVAL: 44788100, enter_exit: 44698150, sherloc_read: 89950, sherloc_read_garbage: 3264749 5 | EVAL: 44852925, enter_exit: 44762849, sherloc_read: 90076, sherloc_read_garbage: 3269323 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/Sherloc_Blinky_ns_10ms_sherloc_read_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 45896329, enter_exit: 45804377, sherloc_read: 91952, sherloc_read_garbage: 3337041 2 | EVAL: 45313979, enter_exit: 45223063, sherloc_read: 90916, sherloc_read_garbage: 3299485 3 | EVAL: 45249707, enter_exit: 45158903, sherloc_read: 90804, sherloc_read_garbage: 3295310 4 | EVAL: 45314535, enter_exit: 45223605, sherloc_read: 90930, sherloc_read_garbage: 3299907 5 | EVAL: 45314337, enter_exit: 45223421, sherloc_read: 90916, sherloc_read_garbage: 3299345 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/blinky_eval_result_final.csv: -------------------------------------------------------------------------------- 1 | name,opt_level,elf_size,IBT_size,AIT_size,icall,ibranch,dbranch,dcall,ret,irq,baseline,SHERLOC,overhead_SHERLOC,overhead_enter_exit,overhead_ins_identification,overhead_read,overhead_ss,overhead_forward,overhead_IRQ,overhead_task,overhead_ss_IRQ 2 | min,Oz,,,,110,4,75,62,25,8,,,,,,,,,,, 3 | max,Oz,,,,110,4,75,62,25,8,,,,,,,,,,, 4 | mean,Oz,,,,110,4,75,62,25,8,,,,,,,,,,, 5 | TeeCFI_Blinky_ns_100ms,,,,,110,4,75,62,25,8,,,,,,,,,,, 6 | TeeCFI_Blinky_ns_10ms,,,,,,,,,,,,,,,,,,,,, 7 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/dijkstra_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 346170392, enter_exit: 134828896, ibt_check: 211341496, ins_identification_garbage: 0 2 | EVAL: 346178787, enter_exit: 134828988, ibt_check: 211349799, ins_identification_garbage: 0 3 | EVAL: 346178787, enter_exit: 134828988, ibt_check: 211349799, ins_identification_garbage: 0 4 | EVAL: 346178787, enter_exit: 134828988, ibt_check: 211349799, ins_identification_garbage: 0 5 | EVAL: 346178787, enter_exit: 134828988, ibt_check: 211349799, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/dijkstra_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 135025712, enter_exit: 134681284, sherloc_read: 344428, sherloc_read_garbage: 12462243 2 | EVAL: 135025812, enter_exit: 134681370, sherloc_read: 344442, sherloc_read_garbage: 12462735 3 | EVAL: 135025812, enter_exit: 134681370, sherloc_read: 344442, sherloc_read_garbage: 12462735 4 | EVAL: 135025812, enter_exit: 134681370, sherloc_read: 344442, sherloc_read_garbage: 12462735 5 | EVAL: 135025812, enter_exit: 134681370, sherloc_read: 344442, sherloc_read_garbage: 12462735 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/frac_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 38620307, enter_exit: 16077621, ibt_check: 22542686, ins_identification_garbage: 872838 2 | EVAL: 38631384, enter_exit: 16077692, ibt_check: 22553692, ins_identification_garbage: 873269 3 | EVAL: 38631405, enter_exit: 16077694, ibt_check: 22553711, ins_identification_garbage: 873267 4 | EVAL: 38631344, enter_exit: 16077680, ibt_check: 22553664, ins_identification_garbage: 873262 5 | EVAL: 38631348, enter_exit: 16077684, ibt_check: 22553664, ins_identification_garbage: 873262 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nbody_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 368125032, enter_exit: 189918287, ibt_check: 178206745, ins_identification_garbage: 0 2 | EVAL: 368124484, enter_exit: 189918707, ibt_check: 178205777, ins_identification_garbage: 0 3 | EVAL: 368124486, enter_exit: 189918706, ibt_check: 178205780, ins_identification_garbage: 0 4 | EVAL: 368133320, enter_exit: 189918776, ibt_check: 178214544, ins_identification_garbage: 0 5 | EVAL: 368124484, enter_exit: 189918707, ibt_check: 178205777, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/ndes_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 38464041, enter_exit: 10305634, ibt_check: 28158407, ins_identification_garbage: 402532 2 | EVAL: 38475241, enter_exit: 10305522, ibt_check: 28169719, ins_identification_garbage: 403038 3 | EVAL: 38474836, enter_exit: 10305447, ibt_check: 28169389, ins_identification_garbage: 403023 4 | EVAL: 38475154, enter_exit: 10305523, ibt_check: 28169631, ins_identification_garbage: 403034 5 | EVAL: 38474946, enter_exit: 10305447, ibt_check: 28169499, ins_identification_garbage: 403028 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_aes_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 16679311, enter_exit: 11798626, ibt_check: 4880685, ins_identification_garbage: 213367 2 | EVAL: 16690413, enter_exit: 11798692, ibt_check: 4891721, ins_identification_garbage: 213849 3 | EVAL: 16690315, enter_exit: 11798698, ibt_check: 4891617, ins_identification_garbage: 213850 4 | EVAL: 16690375, enter_exit: 11798692, ibt_check: 4891683, ins_identification_garbage: 213853 5 | EVAL: 16690404, enter_exit: 11798699, ibt_check: 4891705, ins_identification_garbage: 213854 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/picojpeg_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 169721070, enter_exit: 169393190, sherloc_read: 327880, sherloc_read_garbage: 11854018 2 | EVAL: 169721063, enter_exit: 169393183, sherloc_read: 327880, sherloc_read_garbage: 11853994 3 | EVAL: 169721132, enter_exit: 169393238, sherloc_read: 327894, sherloc_read_garbage: 11854519 4 | EVAL: 169721025, enter_exit: 169393145, sherloc_read: 327880, sherloc_read_garbage: 11854027 5 | EVAL: 169721059, enter_exit: 169393179, sherloc_read: 327880, sherloc_read_garbage: 11854003 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/rijndael_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 253069234, enter_exit: 144654509, ibt_check: 108414725, ins_identification_garbage: 0 2 | EVAL: 253069054, enter_exit: 144654480, ibt_check: 108414574, ins_identification_garbage: 0 3 | EVAL: 253077679, enter_exit: 144654569, ibt_check: 108423110, ins_identification_garbage: 0 4 | EVAL: 253069175, enter_exit: 144654499, ibt_check: 108414676, ins_identification_garbage: 0 5 | EVAL: 253077910, enter_exit: 144654579, ibt_check: 108423331, ins_identification_garbage: 0 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arraybinsearch_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 7210178, enter_exit: 2956954, ibt_check: 4253224, ins_identification_garbage: 191471 2 | EVAL: 7210161, enter_exit: 2956952, ibt_check: 4253209, ins_identification_garbage: 191467 3 | EVAL: 7210206, enter_exit: 2956953, ibt_check: 4253253, ins_identification_garbage: 191469 4 | EVAL: 7210225, enter_exit: 2956950, ibt_check: 4253275, ins_identification_garbage: 191470 5 | EVAL: 7210183, enter_exit: 2956952, ibt_check: 4253231, ins_identification_garbage: 191468 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayheapsort_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8390832, enter_exit: 3279245, ibt_check: 5111587, ins_identification_garbage: 230113 2 | EVAL: 8402124, enter_exit: 3279313, ibt_check: 5122811, ins_identification_garbage: 230615 3 | EVAL: 8390742, enter_exit: 3279236, ibt_check: 5111506, ins_identification_garbage: 230106 4 | EVAL: 8402015, enter_exit: 3279314, ibt_check: 5122701, ins_identification_garbage: 230610 5 | EVAL: 8390763, enter_exit: 3279235, ibt_check: 5111528, ins_identification_garbage: 230107 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayquicksort_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8722782, enter_exit: 2116191, ibt_check: 6606591, ins_identification_garbage: 297416 2 | EVAL: 8722753, enter_exit: 2116199, ibt_check: 6606554, ins_identification_garbage: 297411 3 | EVAL: 8722749, enter_exit: 2116195, ibt_check: 6606554, ins_identification_garbage: 297411 4 | EVAL: 8722697, enter_exit: 2116187, ibt_check: 6606510, ins_identification_garbage: 297409 5 | EVAL: 8722725, enter_exit: 2116193, ibt_check: 6606532, ins_identification_garbage: 297410 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_queue_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 10399620, enter_exit: 3783594, ibt_check: 6616026, ins_identification_garbage: 297840 2 | EVAL: 10399379, enter_exit: 3783610, ibt_check: 6615769, ins_identification_garbage: 297825 3 | EVAL: 10399380, enter_exit: 3783611, ibt_check: 6615769, ins_identification_garbage: 297825 4 | EVAL: 10410593, enter_exit: 3783673, ibt_check: 6626920, ins_identification_garbage: 298327 5 | EVAL: 10399369, enter_exit: 3783600, ibt_check: 6615769, ins_identification_garbage: 297825 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/whetstone_sherloc_read.log: -------------------------------------------------------------------------------- 1 | EVAL: 250955576, enter_exit: 250601558, sherloc_read: 354018, sherloc_read_garbage: 12798893 2 | EVAL: 250955598, enter_exit: 250601580, sherloc_read: 354018, sherloc_read_garbage: 12798897 3 | EVAL: 250955347, enter_exit: 250601329, sherloc_read: 354018, sherloc_read_garbage: 12798877 4 | EVAL: 250956305, enter_exit: 250602287, sherloc_read: 354018, sherloc_read_garbage: 12798888 5 | EVAL: 250956305, enter_exit: 250602287, sherloc_read: 354018, sherloc_read_garbage: 12798895 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/st_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 60861428, enter_exit: 29938197, ibt_check: 30923231, ins_identification_garbage: 1073855 2 | EVAL: 60872546, enter_exit: 29938274, ibt_check: 30934272, ins_identification_garbage: 1074258 3 | EVAL: 60872499, enter_exit: 29938271, ibt_check: 30934228, ins_identification_garbage: 1074256 4 | EVAL: 60872506, enter_exit: 29938277, ibt_check: 30934229, ins_identification_garbage: 1074257 5 | EVAL: 60861351, enter_exit: 29938199, ibt_check: 30923152, ins_identification_garbage: 1073850 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/edn_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 35523639, enter_exit: 11316338, ibt_check: 24207301, ins_identification_garbage: 1089754 2 | EVAL: 35534733, enter_exit: 11316428, ibt_check: 24218305, ins_identification_garbage: 1090246 3 | EVAL: 35523750, enter_exit: 11316354, ibt_check: 24207396, ins_identification_garbage: 1089755 4 | EVAL: 35534950, enter_exit: 11316447, ibt_check: 24218503, ins_identification_garbage: 1090255 5 | EVAL: 35523817, enter_exit: 11316377, ibt_check: 24207440, ins_identification_garbage: 1089757 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/fasta_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 74775696, enter_exit: 29124974, ibt_check: 45650722, ins_identification_garbage: 2054594 2 | EVAL: 74775665, enter_exit: 29124958, ibt_check: 45650707, ins_identification_garbage: 2054590 3 | EVAL: 74775600, enter_exit: 29124915, ibt_check: 45650685, ins_identification_garbage: 2054589 4 | EVAL: 74775639, enter_exit: 29124932, ibt_check: 45650707, ins_identification_garbage: 2054590 5 | EVAL: 74775623, enter_exit: 29124960, ibt_check: 45650663, ins_identification_garbage: 2054588 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/levenshtein_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 30119856, enter_exit: 9967094, ibt_check: 20152762, ins_identification_garbage: 907232 2 | EVAL: 30119618, enter_exit: 9967091, ibt_check: 20152527, ins_identification_garbage: 907218 3 | EVAL: 30119756, enter_exit: 9967097, ibt_check: 20152659, ins_identification_garbage: 907224 4 | EVAL: 30119731, enter_exit: 9967094, ibt_check: 20152637, ins_identification_garbage: 907223 5 | EVAL: 30119733, enter_exit: 9967096, ibt_check: 20152637, ins_identification_garbage: 907223 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/ndes_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 26715964, enter_exit: 10305634, ibt_check: 16410330, ins_identification_garbage: 196608 2 | EVAL: 26724580, enter_exit: 10305522, ibt_check: 16419058, ins_identification_garbage: 196608 3 | EVAL: 26724250, enter_exit: 10305447, ibt_check: 16418803, ins_identification_garbage: 196608 4 | EVAL: 26724513, enter_exit: 10305523, ibt_check: 16418990, ins_identification_garbage: 196608 5 | EVAL: 26724335, enter_exit: 10305447, ibt_check: 16418888, ins_identification_garbage: 196608 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_arcfour_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 9439442, enter_exit: 3375847, ibt_check: 6063595, ins_identification_garbage: 274052 2 | EVAL: 9439398, enter_exit: 3375851, ibt_check: 6063547, ins_identification_garbage: 274047 3 | EVAL: 9439402, enter_exit: 3375855, ibt_check: 6063547, ins_identification_garbage: 274047 4 | EVAL: 9450513, enter_exit: 3375925, ibt_check: 6074588, ins_identification_garbage: 274546 5 | EVAL: 9439417, enter_exit: 3375848, ibt_check: 6063569, ins_identification_garbage: 274048 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_dllist_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 24351986, enter_exit: 6578102, ibt_check: 17773884, ins_identification_garbage: 800142 2 | EVAL: 24351917, enter_exit: 6578136, ibt_check: 17773781, ins_identification_garbage: 800134 3 | EVAL: 24352064, enter_exit: 6578129, ibt_check: 17773935, ins_identification_garbage: 800141 4 | EVAL: 24352048, enter_exit: 6578135, ibt_check: 17773913, ins_identification_garbage: 800140 5 | EVAL: 24363248, enter_exit: 6578206, ibt_check: 17785042, ins_identification_garbage: 800641 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_hashtable_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 17018447, enter_exit: 4323941, ibt_check: 12694506, ins_identification_garbage: 571479 2 | EVAL: 17018301, enter_exit: 4323942, ibt_check: 12694359, ins_identification_garbage: 571469 3 | EVAL: 17029512, enter_exit: 4324024, ibt_check: 12705488, ins_identification_garbage: 571970 4 | EVAL: 17018312, enter_exit: 4323953, ibt_check: 12694359, ins_identification_garbage: 571469 5 | EVAL: 17018260, enter_exit: 4323945, ibt_check: 12694315, ins_identification_garbage: 571467 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_listsort_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 17139160, enter_exit: 4530848, ibt_check: 12608312, ins_identification_garbage: 567600 2 | EVAL: 17150186, enter_exit: 4530914, ibt_check: 12619272, ins_identification_garbage: 568090 3 | EVAL: 17150383, enter_exit: 4530913, ibt_check: 12619470, ins_identification_garbage: 568099 4 | EVAL: 17150089, enter_exit: 4530927, ibt_check: 12619162, ins_identification_garbage: 568085 5 | EVAL: 17150211, enter_exit: 4530917, ibt_check: 12619294, ins_identification_garbage: 568091 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_queue_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 10373486, enter_exit: 3783594, ibt_check: 6589892, ins_identification_garbage: 297840 2 | EVAL: 10373234, enter_exit: 3783610, ibt_check: 6589624, ins_identification_garbage: 297825 3 | EVAL: 10373235, enter_exit: 3783611, ibt_check: 6589624, ins_identification_garbage: 297825 4 | EVAL: 10384404, enter_exit: 3783673, ibt_check: 6600731, ins_identification_garbage: 298327 5 | EVAL: 10373224, enter_exit: 3783600, ibt_check: 6589624, ins_identification_garbage: 297825 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/st_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 80777891, enter_exit: 39077328, ibt_check: 41700563, ins_identification_garbage: 1486178 2 | EVAL: 80788947, enter_exit: 39077309, ibt_check: 41711638, ins_identification_garbage: 1486595 3 | EVAL: 80788947, enter_exit: 39077309, ibt_check: 41711638, ins_identification_garbage: 1486595 4 | EVAL: 80788947, enter_exit: 39077309, ibt_check: 41711638, ins_identification_garbage: 1486595 5 | EVAL: 80788947, enter_exit: 39077309, ibt_check: 41711638, ins_identification_garbage: 1486595 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/blinky_eval_result_final.csv: -------------------------------------------------------------------------------- 1 | name,opt_level,elf_size,IBT_size,AIT_size,icall,ibranch,dbranch,dcall,ret,irq,baseline,SHERLOC,overhead_SHERLOC,overhead_enter_exit,overhead_ins_identification,overhead_read,overhead_ss,overhead_forward,overhead_IRQ,overhead_task,overhead_ss_IRQ 2 | min,O3,,,,0,1,"2,044",73,18,8,,,,,,,,,,, 3 | max,O3,,,,0,1,"2,044",73,18,8,,,,,,,,,,, 4 | mean,O3,,,,0,1,"2,044",73,18,8,,,,,,,,,,, 5 | TeeCFI_Blinky_ns_100ms,,,,,0,1,"2,044",73,18,8,,,,,,,,,,, 6 | TeeCFI_Blinky_ns_10ms,,,,,,,,,,,,,,,,,,,,, 7 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/bubblesort_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 21564527, enter_exit: 11785059, ibt_check: 9779468, ins_identification_garbage: 441996 2 | EVAL: 21575616, enter_exit: 11785133, ibt_check: 9790483, ins_identification_garbage: 442491 3 | EVAL: 21575486, enter_exit: 11785135, ibt_check: 9790351, ins_identification_garbage: 442485 4 | EVAL: 21575594, enter_exit: 11785133, ibt_check: 9790461, ins_identification_garbage: 442490 5 | EVAL: 21564372, enter_exit: 11785062, ibt_check: 9779310, ins_identification_garbage: 441986 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/fasta_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 26679973, enter_exit: 15317836, ibt_check: 11362137, ins_identification_garbage: 513526 2 | EVAL: 26691103, enter_exit: 15317907, ibt_check: 11373196, ins_identification_garbage: 514023 3 | EVAL: 26679946, enter_exit: 15317835, ibt_check: 11362111, ins_identification_garbage: 513522 4 | EVAL: 26691103, enter_exit: 15317907, ibt_check: 11373196, ins_identification_garbage: 514023 5 | EVAL: 26679946, enter_exit: 15317835, ibt_check: 11362111, ins_identification_garbage: 513522 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/frac_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 39092087, enter_exit: 16497969, ibt_check: 22594118, ins_identification_garbage: 878215 2 | EVAL: 39092126, enter_exit: 16497970, ibt_check: 22594156, ins_identification_garbage: 878213 3 | EVAL: 39092139, enter_exit: 16497963, ibt_check: 22594176, ins_identification_garbage: 878213 4 | EVAL: 39103205, enter_exit: 16498044, ibt_check: 22605161, ins_identification_garbage: 878644 5 | EVAL: 39092122, enter_exit: 16497972, ibt_check: 22594150, ins_identification_garbage: 878210 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/levenshtein_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 22765054, enter_exit: 10154259, ibt_check: 12610795, ins_identification_garbage: 567708 2 | EVAL: 22776280, enter_exit: 10154327, ibt_check: 12621953, ins_identification_garbage: 568207 3 | EVAL: 22776280, enter_exit: 10154327, ibt_check: 12621953, ins_identification_garbage: 568207 4 | EVAL: 22765079, enter_exit: 10154255, ibt_check: 12610824, ins_identification_garbage: 567706 5 | EVAL: 22776281, enter_exit: 10154328, ibt_check: 12621953, ins_identification_garbage: 568207 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arraybinsearch_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 5227288, enter_exit: 2201049, ibt_check: 3026239, ins_identification_garbage: 136775 2 | EVAL: 5227218, enter_exit: 2201049, ibt_check: 3026169, ins_identification_garbage: 136769 3 | EVAL: 5238399, enter_exit: 2201123, ibt_check: 3037276, ins_identification_garbage: 137271 4 | EVAL: 5227217, enter_exit: 2201048, ibt_check: 3026169, ins_identification_garbage: 136769 5 | EVAL: 5227241, enter_exit: 2201050, ibt_check: 3026191, ins_identification_garbage: 136770 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arrayheapsort_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 6062148, enter_exit: 3302395, ibt_check: 2759753, ins_identification_garbage: 124498 2 | EVAL: 6062052, enter_exit: 3302391, ibt_check: 2759661, ins_identification_garbage: 124491 3 | EVAL: 6073255, enter_exit: 3302465, ibt_check: 2770790, ins_identification_garbage: 124994 4 | EVAL: 6062077, enter_exit: 3302394, ibt_check: 2759683, ins_identification_garbage: 124492 5 | EVAL: 6062052, enter_exit: 3302391, ibt_check: 2759661, ins_identification_garbage: 124491 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_arrayquicksort_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 6301357, enter_exit: 2186396, ibt_check: 4114961, ins_identification_garbage: 185749 2 | EVAL: 6312422, enter_exit: 2186468, ibt_check: 4125954, ins_identification_garbage: 186243 3 | EVAL: 6312424, enter_exit: 2186470, ibt_check: 4125954, ins_identification_garbage: 186243 4 | EVAL: 6301194, enter_exit: 2186391, ibt_check: 4114803, ins_identification_garbage: 185739 5 | EVAL: 6312440, enter_exit: 2186464, ibt_check: 4125976, ins_identification_garbage: 186244 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_dllist_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 12244134, enter_exit: 4471887, ibt_check: 7772247, ins_identification_garbage: 351277 2 | EVAL: 12255054, enter_exit: 4471902, ibt_check: 7783152, ins_identification_garbage: 351767 3 | EVAL: 12255168, enter_exit: 4471950, ibt_check: 7783218, ins_identification_garbage: 351770 4 | EVAL: 12255032, enter_exit: 4471902, ibt_check: 7783130, ins_identification_garbage: 351766 5 | EVAL: 12255145, enter_exit: 4471949, ibt_check: 7783196, ins_identification_garbage: 351769 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_listinsertsort_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8682791, enter_exit: 4546886, ibt_check: 4135905, ins_identification_garbage: 186928 2 | EVAL: 8693869, enter_exit: 4546949, ibt_check: 4146920, ins_identification_garbage: 187423 3 | EVAL: 8693785, enter_exit: 4546953, ibt_check: 4146832, ins_identification_garbage: 187419 4 | EVAL: 8693804, enter_exit: 4546950, ibt_check: 4146854, ins_identification_garbage: 187420 5 | EVAL: 8693802, enter_exit: 4546948, ibt_check: 4146854, ins_identification_garbage: 187420 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_listsort_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 10289262, enter_exit: 3604027, ibt_check: 6685235, ins_identification_garbage: 302148 2 | EVAL: 10300342, enter_exit: 3604092, ibt_check: 6696250, ins_identification_garbage: 302643 3 | EVAL: 10300384, enter_exit: 3604090, ibt_check: 6696294, ins_identification_garbage: 302645 4 | EVAL: 10300344, enter_exit: 3604094, ibt_check: 6696250, ins_identification_garbage: 302643 5 | EVAL: 10300341, enter_exit: 3604091, ibt_check: 6696250, ins_identification_garbage: 302643 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/bubblesort_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 51690783, enter_exit: 21271278, ibt_check: 30419505, ins_identification_garbage: 1369413 2 | EVAL: 51701834, enter_exit: 21271347, ibt_check: 30430487, ins_identification_garbage: 1369904 3 | EVAL: 51701944, enter_exit: 21271347, ibt_check: 30430597, ins_identification_garbage: 1369909 4 | EVAL: 51701875, enter_exit: 21271344, ibt_check: 30430531, ins_identification_garbage: 1369906 5 | EVAL: 51701858, enter_exit: 21271349, ibt_check: 30430509, ins_identification_garbage: 1369905 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/frac_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 38381961, enter_exit: 16077621, ibt_check: 22304340, ins_identification_garbage: 872838 2 | EVAL: 38392919, enter_exit: 16077692, ibt_check: 22315227, ins_identification_garbage: 873269 3 | EVAL: 38392937, enter_exit: 16077694, ibt_check: 22315243, ins_identification_garbage: 873267 4 | EVAL: 38392873, enter_exit: 16077680, ibt_check: 22315193, ins_identification_garbage: 873262 5 | EVAL: 38392877, enter_exit: 16077684, ibt_check: 22315193, ins_identification_garbage: 873262 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/levenshtein_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 30040218, enter_exit: 9967094, ibt_check: 20073124, ins_identification_garbage: 907232 2 | EVAL: 30039969, enter_exit: 9967091, ibt_check: 20072878, ins_identification_garbage: 907218 3 | EVAL: 30040107, enter_exit: 9967097, ibt_check: 20073010, ins_identification_garbage: 907224 4 | EVAL: 30040082, enter_exit: 9967094, ibt_check: 20072988, ins_identification_garbage: 907223 5 | EVAL: 30040084, enter_exit: 9967096, ibt_check: 20072988, ins_identification_garbage: 907223 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/ndes_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 28923583, enter_exit: 10305634, ibt_check: 18617949, ins_identification_garbage: 599140 2 | EVAL: 28934728, enter_exit: 10305522, ibt_check: 18629206, ins_identification_garbage: 599646 3 | EVAL: 28934323, enter_exit: 10305447, ibt_check: 18628876, ins_identification_garbage: 599631 4 | EVAL: 28934641, enter_exit: 10305523, ibt_check: 18629118, ins_identification_garbage: 599642 5 | EVAL: 28934433, enter_exit: 10305447, ibt_check: 18628986, ins_identification_garbage: 599636 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nettle_aes_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 16653347, enter_exit: 11798626, ibt_check: 4854721, ins_identification_garbage: 213367 2 | EVAL: 16664382, enter_exit: 11798692, ibt_check: 4865690, ins_identification_garbage: 213849 3 | EVAL: 16664290, enter_exit: 11798698, ibt_check: 4865592, ins_identification_garbage: 213850 4 | EVAL: 16664350, enter_exit: 11798692, ibt_check: 4865658, ins_identification_garbage: 213853 5 | EVAL: 16664379, enter_exit: 11798699, ibt_check: 4865680, ins_identification_garbage: 213854 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arraybinsearch_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 7193372, enter_exit: 2956954, ibt_check: 4236418, ins_identification_garbage: 191471 2 | EVAL: 7193344, enter_exit: 2956952, ibt_check: 4236392, ins_identification_garbage: 191467 3 | EVAL: 7193389, enter_exit: 2956953, ibt_check: 4236436, ins_identification_garbage: 191469 4 | EVAL: 7193408, enter_exit: 2956950, ibt_check: 4236458, ins_identification_garbage: 191470 5 | EVAL: 7193366, enter_exit: 2956952, ibt_check: 4236414, ins_identification_garbage: 191468 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayheapsort_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8370638, enter_exit: 3279245, ibt_check: 5091393, ins_identification_garbage: 230113 2 | EVAL: 8381875, enter_exit: 3279313, ibt_check: 5102562, ins_identification_garbage: 230615 3 | EVAL: 8370537, enter_exit: 3279236, ibt_check: 5091301, ins_identification_garbage: 230106 4 | EVAL: 8381766, enter_exit: 3279314, ibt_check: 5102452, ins_identification_garbage: 230610 5 | EVAL: 8370558, enter_exit: 3279235, ibt_check: 5091323, ins_identification_garbage: 230107 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_arrayquicksort_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 8696692, enter_exit: 2116191, ibt_check: 6580501, ins_identification_garbage: 297416 2 | EVAL: 8696652, enter_exit: 2116199, ibt_check: 6580453, ins_identification_garbage: 297411 3 | EVAL: 8696648, enter_exit: 2116195, ibt_check: 6580453, ins_identification_garbage: 297411 4 | EVAL: 8696596, enter_exit: 2116187, ibt_check: 6580409, ins_identification_garbage: 297409 5 | EVAL: 8696624, enter_exit: 2116193, ibt_check: 6580431, ins_identification_garbage: 297410 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_listinsertsort_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 27213643, enter_exit: 7300310, ibt_check: 19913333, ins_identification_garbage: 896451 2 | EVAL: 27213691, enter_exit: 7300307, ibt_check: 19913384, ins_identification_garbage: 896450 3 | EVAL: 27213691, enter_exit: 7300307, ibt_check: 19913384, ins_identification_garbage: 896450 4 | EVAL: 27213584, enter_exit: 7300310, ibt_check: 19913274, ins_identification_garbage: 896445 5 | EVAL: 27213349, enter_exit: 7300317, ibt_check: 19913032, ins_identification_garbage: 896434 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/levenshtein_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 22715204, enter_exit: 10154259, ibt_check: 12560945, ins_identification_garbage: 567708 2 | EVAL: 22726375, enter_exit: 10154327, ibt_check: 12572048, ins_identification_garbage: 568207 3 | EVAL: 22726375, enter_exit: 10154327, ibt_check: 12572048, ins_identification_garbage: 568207 4 | EVAL: 22715218, enter_exit: 10154255, ibt_check: 12560963, ins_identification_garbage: 567706 5 | EVAL: 22726376, enter_exit: 10154328, ibt_check: 12572048, ins_identification_garbage: 568207 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/rijndael_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 125077814, enter_exit: 112618329, ibt_check: 12459485, ins_identification_garbage: 560654 2 | EVAL: 125100035, enter_exit: 112618528, ibt_check: 12481507, ins_identification_garbage: 561642 3 | EVAL: 125088966, enter_exit: 112618433, ibt_check: 12470533, ins_identification_garbage: 561148 4 | EVAL: 125088879, enter_exit: 112618500, ibt_check: 12470379, ins_identification_garbage: 561141 5 | EVAL: 125088966, enter_exit: 112618433, ibt_check: 12470533, ins_identification_garbage: 561148 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/sglib_rbtree_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 51565934, enter_exit: 16702347, ibt_check: 34863587, ins_identification_garbage: 1569481 2 | EVAL: 51566503, enter_exit: 16702381, ibt_check: 34864122, ins_identification_garbage: 1569502 3 | EVAL: 51566436, enter_exit: 16702380, ibt_check: 34864056, ins_identification_garbage: 1569499 4 | EVAL: 51566220, enter_exit: 16702340, ibt_check: 34863880, ins_identification_garbage: 1569491 5 | EVAL: 51566514, enter_exit: 16702370, ibt_check: 34864144, ins_identification_garbage: 1569503 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/st_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 60404641, enter_exit: 29938197, ibt_check: 30466444, ins_identification_garbage: 1073855 2 | EVAL: 60415609, enter_exit: 29938274, ibt_check: 30477335, ins_identification_garbage: 1074258 3 | EVAL: 60415562, enter_exit: 29938271, ibt_check: 30477291, ins_identification_garbage: 1074256 4 | EVAL: 60415570, enter_exit: 29938277, ibt_check: 30477293, ins_identification_garbage: 1074257 5 | EVAL: 60404555, enter_exit: 29938199, ibt_check: 30466356, ins_identification_garbage: 1073850 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/edn_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 35427941, enter_exit: 11316338, ibt_check: 24111603, ins_identification_garbage: 1089754 2 | EVAL: 35438980, enter_exit: 11316428, ibt_check: 24122552, ins_identification_garbage: 1090246 3 | EVAL: 35428041, enter_exit: 11316354, ibt_check: 24111687, ins_identification_garbage: 1089755 4 | EVAL: 35439197, enter_exit: 11316447, ibt_check: 24122750, ins_identification_garbage: 1090255 5 | EVAL: 35428108, enter_exit: 11316377, ibt_check: 24111731, ins_identification_garbage: 1089757 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/fasta_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 74594698, enter_exit: 29124974, ibt_check: 45469724, ins_identification_garbage: 2054594 2 | EVAL: 74594656, enter_exit: 29124958, ibt_check: 45469698, ins_identification_garbage: 2054590 3 | EVAL: 74594591, enter_exit: 29124915, ibt_check: 45469676, ins_identification_garbage: 2054589 4 | EVAL: 74594630, enter_exit: 29124932, ibt_check: 45469698, ins_identification_garbage: 2054590 5 | EVAL: 74594614, enter_exit: 29124960, ibt_check: 45469654, ins_identification_garbage: 2054588 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/picojpeg_ibt_enter_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 370972363, enter_exit: 169533710, ibt_check: 201438653, ins_identification_garbage: 4864 2 | EVAL: 370971905, enter_exit: 169533703, ibt_check: 201438202, ins_identification_garbage: 4864 3 | EVAL: 370980876, enter_exit: 169533764, ibt_check: 201447112, ins_identification_garbage: 4864 4 | EVAL: 370972428, enter_exit: 169533665, ibt_check: 201438763, ins_identification_garbage: 4864 5 | EVAL: 370972054, enter_exit: 169533699, ibt_check: 201438355, ins_identification_garbage: 4864 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_dllist_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 24281764, enter_exit: 6578102, ibt_check: 17703662, ins_identification_garbage: 800142 2 | EVAL: 24281684, enter_exit: 6578136, ibt_check: 17703548, ins_identification_garbage: 800134 3 | EVAL: 24281831, enter_exit: 6578129, ibt_check: 17703702, ins_identification_garbage: 800141 4 | EVAL: 24281815, enter_exit: 6578135, ibt_check: 17703680, ins_identification_garbage: 800140 5 | EVAL: 24292971, enter_exit: 6578206, ibt_check: 17714765, ins_identification_garbage: 800641 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_hashtable_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 16968289, enter_exit: 4323941, ibt_check: 12644348, ins_identification_garbage: 571479 2 | EVAL: 16968132, enter_exit: 4323942, ibt_check: 12644190, ins_identification_garbage: 571469 3 | EVAL: 16979299, enter_exit: 4324024, ibt_check: 12655275, ins_identification_garbage: 571970 4 | EVAL: 16968143, enter_exit: 4323953, ibt_check: 12644190, ins_identification_garbage: 571469 5 | EVAL: 16968091, enter_exit: 4323945, ibt_check: 12644146, ins_identification_garbage: 571467 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_listsort_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 17089354, enter_exit: 4530848, ibt_check: 12558506, ins_identification_garbage: 567600 2 | EVAL: 17100325, enter_exit: 4530914, ibt_check: 12569411, ins_identification_garbage: 568090 3 | EVAL: 17100522, enter_exit: 4530913, ibt_check: 12569609, ins_identification_garbage: 568099 4 | EVAL: 17100228, enter_exit: 4530927, ibt_check: 12569301, ins_identification_garbage: 568085 5 | EVAL: 17100350, enter_exit: 4530917, ibt_check: 12569433, ins_identification_garbage: 568091 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/sglib_rbtree_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 57088175, enter_exit: 17564944, ibt_check: 39523231, ins_identification_garbage: 1779250 2 | EVAL: 57088363, enter_exit: 17564949, ibt_check: 39523414, ins_identification_garbage: 1779255 3 | EVAL: 57099058, enter_exit: 17565021, ibt_check: 39534037, ins_identification_garbage: 1779733 4 | EVAL: 57088303, enter_exit: 17564955, ibt_check: 39523348, ins_identification_garbage: 1779252 5 | EVAL: 57099530, enter_exit: 17565031, ibt_check: 39534499, ins_identification_garbage: 1779754 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/st_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 80201923, enter_exit: 39077328, ibt_check: 41124595, ins_identification_garbage: 1486178 2 | EVAL: 80212841, enter_exit: 39077309, ibt_check: 41135532, ins_identification_garbage: 1486595 3 | EVAL: 80212841, enter_exit: 39077309, ibt_check: 41135532, ins_identification_garbage: 1486595 4 | EVAL: 80212841, enter_exit: 39077309, ibt_check: 41135532, ins_identification_garbage: 1486595 5 | EVAL: 80212841, enter_exit: 39077309, ibt_check: 41135532, ins_identification_garbage: 1486595 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/nbody_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 358325013, enter_exit: 180238271, ibt_check: 178086742, ins_identification_garbage: 6791021 2 | EVAL: 358325356, enter_exit: 180238692, ibt_check: 178086664, ins_identification_garbage: 6791017 3 | EVAL: 358336469, enter_exit: 180238757, ibt_check: 178097712, ins_identification_garbage: 6791437 4 | EVAL: 358325351, enter_exit: 180238687, ibt_check: 178086664, ins_identification_garbage: 6791017 5 | EVAL: 358325320, enter_exit: 180238679, ibt_check: 178086641, ins_identification_garbage: 6791015 6 | -------------------------------------------------------------------------------- /Example/out/eval/O3/eval_log/picojpeg_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 208251301, enter_exit: 116663991, ibt_check: 91587310, ins_identification_garbage: 4122309 2 | EVAL: 208263146, enter_exit: 116664568, ibt_check: 91598578, ins_identification_garbage: 4122813 3 | EVAL: 208250996, enter_exit: 116664009, ibt_check: 91586987, ins_identification_garbage: 4122291 4 | EVAL: 208263211, enter_exit: 116664567, ibt_check: 91598644, ins_identification_garbage: 4122816 5 | EVAL: 208262196, enter_exit: 116664080, ibt_check: 91598116, ins_identification_garbage: 4122792 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/bubblesort_ibt_baseline_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 51570533, enter_exit: 21271278, ibt_check: 30299255, ins_identification_garbage: 1369413 2 | EVAL: 51581529, enter_exit: 21271347, ibt_check: 30310182, ins_identification_garbage: 1369904 3 | EVAL: 51581639, enter_exit: 21271347, ibt_check: 30310292, ins_identification_garbage: 1369909 4 | EVAL: 51581570, enter_exit: 21271344, ibt_check: 30310226, ins_identification_garbage: 1369906 5 | EVAL: 51581553, enter_exit: 21271349, ibt_check: 30310204, ins_identification_garbage: 1369905 6 | -------------------------------------------------------------------------------- /Example/out/eval/Oz/eval_log/nbody_ibt_no_systick.log: -------------------------------------------------------------------------------- 1 | EVAL: 414761680, enter_exit: 189918287, ibt_check: 224843393, ins_identification_garbage: 8895907 2 | EVAL: 414760884, enter_exit: 189918707, ibt_check: 224842177, ins_identification_garbage: 8895857 3 | EVAL: 414760882, enter_exit: 189918706, ibt_check: 224842176, ins_identification_garbage: 8895856 4 | EVAL: 414772020, enter_exit: 189918776, ibt_check: 224853244, ins_identification_garbage: 8896296 5 | EVAL: 414760884, enter_exit: 189918707, ibt_check: 224842177, ins_identification_garbage: 8895857 6 | --------------------------------------------------------------------------------