facebookexperimental / facebookexperimental/semcode

handle KVM indirect calls

未關閉
#74 0 則留言 0 個 reaction 已指派 0 人 在 GitHub 檢視
主要語言
Rust
星號
171
分支
40
平均合併
4 小時 24 分鐘
30 天內合併 PR
24

描述

__vmx_handle_exit() has a table of function calls that semcode currently fails to handle:

exit_handler_index = array_index_nospec((u16)exit_reason.basic,
kvm_vmx_max_exit_handlers);
if (!kvm_vmx_exit_handlers[exit_handler_index])
goto unexpected_vmexit;

return kvm_vmx_exit_handlers[exit_handler_index](vcpu);

Both kvm_handle_invalid_op and handle_vmx_construction are called through the table above, but semcode doesn't know:

semcode> callers kvm_handle_invalid_op
Finding all functions that call: kvm_handle_invalid_op

=== Direct Callers ===
1 functions directly call 'kvm_handle_invalid_op':
1. kvm_emulate_monitor_mwait
semcode> callers handle_vmx_instruction
Finding all functions that call: handle_vmx_instruction
Info: No functions call 'handle_vmx_instruction'

貢獻指南

開啟貢獻指南

評估

這個 Issue 還沒有評估資料。

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。