SaTC: Shared-Keyword Aware Taint Checking for Detecting Bugs in Embedded Systems.
Libo ChenYanhao WangJiaqi LinghuQinsheng HouQuanpu CaiShanqing GuoZhi XuePublished in: IEEE Trans. Dependable Secur. Comput. (2024)
Keyphrases
- embedded systems
- software systems
- computing power
- low cost
- embedded devices
- resource limited
- embedded software
- real time systems
- keywords
- processing power
- real time image processing
- hardware software
- source code
- consumer electronics
- flash memory
- field programmable gate array
- real time
- safety critical
- test cases
- hw sw
- embedded real time systems
- control flow
- security policies
- petri net
- data model
- relational databases
- case study