system/serenity
system/serenity
1
0
Fork 0
mirror of https://github.com/SerenityOS/serenity synced 2024-07-23 11:04:40 +00:00
Code Issues Actions 4 Packages Projects Releases Wiki Activity

Kernel: And some more KUBSAN checks :^)

Browse source 
Here comes a few more:

* enum
* object-size
* vptr
This commit is contained in:
Andreas Kling 2021-02-06 17:34:44 +01:00
parent fad0332898
commit 04ff46bff4
3 changed files with 15 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Kernel/CMakeLists.txt
View file

@ -270,7 +270,7 @@ set(SOURCES
${C_SOURCES}
)
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=nonnull-attribute,bool,vla-bound,signed-integer-overflow,shift,shift-exponent,shift-base,integer-divide-by-zero,return,bounds,bounds-strict")
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=nonnull-attribute,bool,vla-bound,signed-integer-overflow,shift,shift-exponent,shift-base,integer-divide-by-zero,return,bounds,bounds-strict,object-size,enum,vptr")
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-unknown-warning-option -DKERNEL")
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -pie -fPIE -fno-rtti -ffreestanding -fbuiltin")
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -mno-80387 -mno-mmx -mno-sse -mno-sse2")

7
Kernel/UBSanitizer.cpp
View file

@ -108,4 +108,11 @@ void __ubsan_handle_out_of_bounds(const OutOfBoundsData& data, void*)
dbgln("KUBSAN: out of bounds access into array of {} ({}-bit), index type {} ({}-bit)", data.array_type.name(), data.array_type.bit_width(), data.index_type.name(), data.index_type.bit_width());
print_location(data.location);
}
void __ubsan_handle_type_mismatch_v1(const TypeMismatchData&, void*);
void __ubsan_handle_type_mismatch_v1(const TypeMismatchData& data, void*)
{
dbgln("KUBSAN: type mismatch, {} ({}-bit)", data.type.name(), data.type.bit_width());
print_location(data.location);
}
}

7
Kernel/UBSanitizer.h
View file

@ -96,4 +96,11 @@ struct OutOfBoundsData {
const TypeDescriptor& index_type;
};
struct TypeMismatchData {
SourceLocation location;
const TypeDescriptor& type;
u8 log_alignment;
u8 type_check_kind;
};
}