GitHub - Tonyxu82/tfx8051: 8051/8052 emulator with curses-based UI

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 35 Commits
conf		conf
doc		doc
fw		fw
klee-out-0		klee-out-0
lab		lab
template		template
test		test
trace		trace
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
analyzer		analyzer
core.bc		core.bc
core.c		core.c
demo.log		demo.log
demo10		demo10
demo10.log		demo10.log
demo10klee.bc		demo10klee.bc
demo4		demo4
demo4klee.bc		demo4klee.bc
demo_replay		demo_replay
demo_replay_klee.bc		demo_replay_klee.bc
demo_tfx		demo_tfx
demo_tfx_10_klee.bc		demo_tfx_10_klee.bc
demo_tfx_10_klee.c		demo_tfx_10_klee.c
demo_tfx_4.c		demo_tfx_4.c
demo_tfx_4_klee.bc		demo_tfx_4_klee.bc
demo_tfx_4_klee.c		demo_tfx_4_klee.c
demo_tfx_50.c		demo_tfx_50.c
demo_tfx_desktop.txt		demo_tfx_desktop.txt
demo_tfx_json.c		demo_tfx_json.c
demo_tfx_laptop.txt		demo_tfx_laptop.txt
demo_tfx_replay		demo_tfx_replay
demo_tfx_replay.c		demo_tfx_replay.c
demo_tfx_replay_klee.bc		demo_tfx_replay_klee.bc
demo_tfx_replay_klee.c		demo_tfx_replay_klee.c
demo_tfx_socket.c		demo_tfx_socket.c
demoj		demoj
demosk		demosk
disasm.bc		disasm.bc
disasm.c		disasm.c
disasm.cpp		disasm.cpp
dump.dat		dump.dat
emu.c		emu.c
emu8051.h		emu8051.h
emu8051.sln		emu8051.sln
emu8051.vcproj		emu8051.vcproj
emulator.h		emulator.h
jsmn.h		jsmn.h
klee-last		klee-last
logicboard.c		logicboard.c
mainview.c		mainview.c
memeditor.c		memeditor.c
opcodes.bc		opcodes.bc
opcodes.c		opcodes.c
options.c		options.c
popups.c		popups.c
sort.hex		sort.hex
sort10.cov.log		sort10.cov.log
sort10.hex		sort10.hex
sort10.hex.cov		sort10.hex.cov
sort4.hex		sort4.hex
test.txt		test.txt
test1.json		test1.json
test2.json		test2.json
test3.json		test3.json
tfx.h		tfx.h
tfx_analyzer.c		tfx_analyzer.c
tfx_bvector.c		tfx_bvector.c
tfx_bvector.h		tfx_bvector.h
tfx_common.h		tfx_common.h
tfx_converter.c		tfx_converter.c
tfx_coverage.c		tfx_coverage.c
tfx_coverage.h		tfx_coverage.h
tfx_exception.c		tfx_exception.c
tfx_exception.h		tfx_exception.h
tfx_io.bc		tfx_io.bc
tfx_io.c		tfx_io.c
tfx_io.h		tfx_io.h
tfx_list.c		tfx_list.c
tfx_list.h		tfx_list.h
tfx_test.bc		tfx_test.bc
tfx_test.c		tfx_test.c
tfx_test.h		tfx_test.h
tfx_testview.c		tfx_testview.c
tfx_testview.h		tfx_testview.h
tfx_trace.bc		tfx_trace.bc
tfx_trace.c		tfx_trace.c
tfx_trace.h		tfx_trace.h
twister		twister
twister.c		twister.c

Repository files navigation

#TFX8051

TFX8051 is a test framework for the firmware running on 8051. Most of this test framework is based on Jari Komppa's emu8051 (https://github.com/jarikomppa/emu8051.git). Thank you Jori!

Tonyxu82/tfx8051

Folders and files

Latest commit

History