facebookexperimental / facebookexperimental/semcode

handle KVM indirect calls

Abierto
#74 0 comentarios 0 reacciones 0 asignados Ver en GitHub
Lenguaje dominante
Rust
Estrellas
171
Forks
40
Merge medio
4 h 24 min
PR fusionados (30 d)
24

Descripción

__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'

Guía de contribución

Abrir la guía de contribución

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.