cctv130

vs2022 msvc143 build error

3


install drakcore error ubuntu22.04

4


x86 letsgo error

1

[hook_mem_unmapped]: 21 0xffa6971d 1 0 [hook_code] address: 0xFFA6971D size: 0xF1F1F1F1 what? Traceback (most recent call last): File "D:\tool/ida/plugins\novmpy\ui.py", line 17, in activate vtil_graph.show_graph(ea) File "D:\tool/ida/plugins\novmpy\views\vtil_graph.py", line 462, in show_graph lifter.lift_il(None,...

plain_string.cpp rule.cpp sections_summary.cpp token.cpp token_stream.cpp yara_file.cpp json.cpp filesystem_operations.cpp utils.cpp yaramod.cpp D:\code\hack\retdec\build\external\src\yaramod-project\deps\pog\include\pog/html_report.h(100,81): error C2001: newline in constant [D:\code\hack\retdec\build\external\src\yaramod-project-build\src\yaramod.vcxproj] D:\code\hack\retdec\build\external\src\yaramod-project\deps\pog\include\pog/html_report.h(101,82): error C2001: newline in constant [D:\code\hack\retdec\build\external\src\yaramod-project-build\src\yaramod.vcxproj] D:\code\hack\retdec\build\external\src\yaramod-project\deps\pog\include\pog/html_report.h(162,42): error C2001: newline in constant...

clang-cl program build issues

14

### Brief Issue Summary How to run vcvars64.bat before using clang-cl? I want to debug cmake right click cmakelists.txt select debug, but I want to run vcvars64.bat before debugging the...

memory alignment issues

7

 There should be a problem with this piece of code. kEightyBitsInBytes should not be equal to 10. Modify this constant to equal 16. Although it is equal to 10...

PS D:\code\rust\poc-windows-rust-filter\windows-rust-minifilter> cargo make --profile production all [cargo-make] INFO - cargo make 0.36.12 [cargo-make] INFO - Calling cargo metadata to extract project info [cargo-make] INFO - Cargo metadata done [cargo-make]...

Hello, I am currently aware that formal verification can be performed based on semantics. However, after reading your paper, I have a few questions. Besides symbolic execution, what else can...