facebookexperimental / facebookexperimental/semcode
handle KVM indirect calls
- 主要语言
- 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 还没有评估数据。