Skip to content

Commit

Permalink
Update OpenEnclave.qll
Browse files Browse the repository at this point in the history
Signed-off-by: qinkunbao <[email protected]>
  • Loading branch information
qinkunbao committed Aug 12, 2021
1 parent 5882f3a commit 0d2cdce
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/static/codeql/queries/cpp/openenclave/OpenEnclave.qll
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@ import Dereferences
/**
* EnclaveEnterFunction - Entry point function for an enclave.
* During an ECALL __oe_handle_main() function is called by oe_enter(), which is called by the EENTER instruction.
* Since oe_enter is implemented in assembly, CodeQL cannot construct call flow graph flowing from host to enclave.
* __oe_handle_main can be consideredd as enclave entry point function to porform taint analysis on untrusted host pointers.
* Since oe_enter is implemented in assembly, CodeQL cannot construct a call flow graph flowing from host to enclave.
* __oe_handle_main can be considered as enclave entry point function to perform taint analysis on untrusted host pointers.
*/
class EnclaveEnterFunction extends Function {
EnclaveEnterFunction() { this.getName() = "__oe_handle_main" }
Expand Down

0 comments on commit 0d2cdce

Please sign in to comment.