Skip to content
/ hal-fuzz-extra Public

Fork of the hal-fuzz repository ("HALucinator: Firmware Re-Hosting through Abstraction Layer Emulation")

License

Apache-2.0 license
1 star 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

dangiu/hal-fuzz-extra

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

47 Commits
configs
configs
 
 
dictionaries
dictionaries
 
 
docs
docs
 
 
experimental
experimental
 
 
hal_fuzz
hal_fuzz
 
 
learning
learning
 
 
libdislocator
libdislocator
 
 
libtokencap
libtokencap
 
 
llvm_mode
llvm_mode
 
 
majid_GPIO
majid_GPIO
 
 
majid_display
majid_display
 
 
majid_display_instrumented
majid_display_instrumented
 
 
majid_fatfs
majid_fatfs
 
 
qemu_mode
qemu_mode
 
 
stm32_tcp_echo_client_instrumented
stm32_tcp_echo_client_instrumented
 
 
test_1
test_1
 
 
test_fuzz_and_debug
test_fuzz_and_debug
 
 
test_led_blink
test_led_blink
 
 
testcases
testcases
 
 
tests
tests
 
 
unicorn_mode
unicorn_mode
 
 
utils
utils
 
 
.gitignore
.gitignore
 
 
Dockerfile
Dockerfile
 
 
LICENSE
LICENSE
 
 
Makefile
Makefile
 
 
QuickStartGuide.txt
QuickStartGuide.txt
 
 
README-aflunicorn.md
README-aflunicorn.md
 
 
README.md
README.md
 
 
afl-analyze.c
afl-analyze.c
 
 
afl-as.c
afl-as.c
 
 
afl-as.h
afl-as.h
 
 
afl-cmin
afl-cmin
 
 
afl-fuzz.c
afl-fuzz.c
 
 
afl-gcc.c
afl-gcc.c
 
 
afl-gotcpu.c
afl-gotcpu.c
 
 
afl-plot
afl-plot
 
 
afl-showmap.c
afl-showmap.c
 
 
afl-tmin.c
afl-tmin.c
 
 
afl-whatsdown
afl-whatsdown
 
 
afl-whatsup
afl-whatsup
 
 
alloc-inl.h
alloc-inl.h
 
 
config.h
config.h
 
 
csaw_input_generator.py
csaw_input_generator.py
 
 
csaw_tester.py
csaw_tester.py
 
 
csaw_tester0.py
csaw_tester0.py
 
 
csaw_tester1.py
csaw_tester1.py
 
 
csaw_tester12.py
csaw_tester12.py
 
 
csaw_tester13.py
csaw_tester13.py
 
 
csaw_tester14.py
csaw_tester14.py
 
 
csaw_tester16.py
csaw_tester16.py
 
 
csaw_tester17.py
csaw_tester17.py
 
 
csaw_tester4.py
csaw_tester4.py
 
 
csaw_tester5.py
csaw_tester5.py
 
 
csaw_tester7.py
csaw_tester7.py
 
 
csaw_tester8.py
csaw_tester8.py
 
 
csaw_tester_template.py
csaw_tester_template.py
 
 
debug.h
debug.h
 
 
dump_symbols.py
dump_symbols.py
 
 
hal-fuzz
hal-fuzz
 
 
hash.h
hash.h
 
 
requirements.txt
requirements.txt
 
 
setup.sh
setup.sh
 
 
test-instr-argv.c
test-instr-argv.c
 
 
test-instr.c
test-instr.c
 
 
test_atmel_6lowpan_udp_rx.sh
test_atmel_6lowpan_udp_rx.sh
 
 
test_atmel_6lowpan_udp_rx_fuzz.sh
test_atmel_6lowpan_udp_rx_fuzz.sh
 
 
test_atmel_6lowpan_udp_rx_parallel.sh
test_atmel_6lowpan_udp_rx_parallel.sh
 
 
test_atmel_6lowpan_udp_tx.sh
test_atmel_6lowpan_udp_tx.sh
 
 
test_atmel_6lowpan_udp_tx_parallel.sh
test_atmel_6lowpan_udp_tx_parallel.sh
 
 
test_chad_blink.sh
test_chad_blink.sh
 
 
test_csaw_esc_csa.sh
test_csaw_esc_csa.sh
 
 
test_csaw_esc_csb.sh
test_csaw_esc_csb.sh
 
 
test_csaw_esc_csc.sh
test_csaw_esc_csc.sh
 
 
test_csaw_esc_csd.sh
test_csaw_esc_csd.sh
 
 
test_csaw_esc_cse.sh
test_csaw_esc_cse.sh
 
 
test_csaw_esc_csf.sh
test_csaw_esc_csf.sh
 
 
test_nop.sh
test_nop.sh
 
 
test_nucleo_blink_led.sh
test_nucleo_blink_led.sh
 
 
test_nucleo_blink_led_parallel.sh
test_nucleo_blink_led_parallel.sh
 
 
test_nxp_lwip_http.sh
test_nxp_lwip_http.sh
 
 
test_nxp_lwip_http_parallel.sh
test_nxp_lwip_http_parallel.sh
 
 
test_nxp_lwip_tcpecho.sh
test_nxp_lwip_tcpecho.sh
 
 
test_nxp_lwip_tcpecho_parallel.sh
test_nxp_lwip_tcpecho_parallel.sh
 
 
test_nxp_lwip_udpecho.sh
test_nxp_lwip_udpecho.sh
 
 
test_nxp_lwip_udpecho_parallel.sh
test_nxp_lwip_udpecho_parallel.sh
 
 
test_nxp_uart.sh
test_nxp_uart.sh
 
 
test_p2im_car_controller.sh
test_p2im_car_controller.sh
 
 
test_p2im_console.sh
test_p2im_console.sh
 
 
test_p2im_controllino.sh
test_p2im_controllino.sh
 
 
test_p2im_drone.sh
test_p2im_drone.sh
 
 
test_read_hyperterminal.sh
test_read_hyperterminal.sh
 
 
test_read_hyperterminal_parallel.sh
test_read_hyperterminal_parallel.sh
 
 
test_rf_lock.sh
test_rf_lock.sh
 
 
test_samr21_http_eth.sh
test_samr21_http_eth.sh
 
 
test_samr21_http_parallel.sh
test_samr21_http_parallel.sh
 
 
test_samr21_http_plain.sh
test_samr21_http_plain.sh
 
 
test_samr21_http_plain_parallel.sh
test_samr21_http_plain_parallel.sh
 
 
test_samr21_http_tcp.sh
test_samr21_http_tcp.sh
 
 
test_samr21_http_tcp_parallel.sh
test_samr21_http_tcp_parallel.sh
 
 

Repository files navigation

hal-fuzz-extra

Extension of hal-fuzz that provides support for multiple peripherals in particular:

  • Added support for microSD card.
  • Added support for TFT LCD Display.
  • Added model of generic storage device (Disk).
  • Created utility to manipulate FAT32 file systems on-the-fly (used to import fuzzed inputs into models)

Credits to the original authors of HALucinator: http://subwire.net/publication/halucinator/

About

Fork of the hal-fuzz repository ("HALucinator: Firmware Re-Hosting through Abstraction Layer Emulation")

Resources

Readme

License

Apache-2.0 license
Activity

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •