Skip to content

Commit

Permalink
Merge pull request #19 from qinkunbao/qinkunbao-patch-1
Browse files Browse the repository at this point in the history
Update OpenEnclave.qll
  • Loading branch information
mrragava authored Aug 13, 2021
2 parents 5882f3a + 0d2cdce commit 8d260c6
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 8d260c6

Please sign in to comment.