Abstract: Abstract Syntax Tree (AST) and Control Flow Graph (CFG) are program code representations widely used for static analysis. One of the uses of static analysis is for automated grading ...
Abstract: Nowadays in the industry, machines are responsible for controlling and triggering many processes, which contrasts with the fact that monitoring a large number of operations is an arduous ...
Sherloc is a secure and holistic control-flow violation detection mechanism for microcontroller-based embedded systems. This repository contains the source code, examples, and evaluation tools to run ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback