copy/v86
1
0
Fork 0
mirror of https://github.com/copy/v86 synced 2025-10-14 01:54:07 +08:00
Code Issues Packages Projects Releases Wiki Activity

improve assertion for esp < limit check

Browse Source
This commit is contained in:
Fabian
2025-08-13 17:52:59 -06:00
parent af483a9036
commit c2dc88dd15
1 changed files with 12 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/rust/cpu/cpu.rs
View File

@@ -907,7 +907,12 @@ pub unsafe fn call_interrupt_vector(
},
};
dbg_assert!(!ss_segment_descriptor.is_dc(), "TODO: Handle direction bit");
if ss_segment_descriptor.is_dc() {
dbg_assert!(new_esp as u32 > ss_segment_descriptor.effective_limit());
}
else {
dbg_assert!(new_esp as u32 - 1 <= ss_segment_descriptor.effective_limit());
}
dbg_assert!(!ss_segment_descriptor.is_system() && ss_segment_descriptor.is_writable());
if ss_segment_selector.rpl() != cs_segment_descriptor.dpl() {
@@ -1216,8 +1221,12 @@ pub unsafe fn far_jump(eip: i32, selector: i32, is_call: bool, is_osize_32: bool
},
};
dbg_assert!(!ss_info.is_dc(), "TODO: Handle direction bit");
dbg_assert!(new_esp as u32 <= ss_info.effective_limit());
if ss_info.is_dc() {
dbg_assert!(new_esp as u32 > ss_info.effective_limit());
}
else {
dbg_assert!(new_esp as u32 - 1 <= ss_info.effective_limit());
}
dbg_assert!(!ss_info.is_system() && ss_info.is_writable());
if ss_selector.rpl() != cs_info.dpl()