[PDF][PDF] Accelerating type confusion detection with pointer analysis
X Fan, Z Xia, S Long, C Huang, C Yang - IAENG International Journal of …, 2020 - iaeng.org
C++ is widely used in performance critical applications. Due to the lack of type safety,
programs written in C++ are vulnerable to memory corruption errors. Type confusion bug is …
programs written in C++ are vulnerable to memory corruption errors. Type confusion bug is …
Tcd: Statically detecting type confusion errors in c++ programs
For performance reasons, C++, albeit unsafe, is often the programming language of choice
for developing software infrastructures. A serious type of security vulnerability in C++ …
for developing software infrastructures. A serious type of security vulnerability in C++ …
Accelerating Type Confusion Detection by Identifying Harmless Type Castings
X Fan, S Long, C Huang, C Yang, F Li - Proceedings of the 20th ACM …, 2023 - dl.acm.org
C++ allows reinterpretation of memory objects via type casting, which facilitates easier
manipulation of class fields and virtual methods inside the class hierarchy. However …
manipulation of class fields and virtual methods inside the class hierarchy. However …
[PDF][PDF] BinTyper: Type Confusion Detection for C++ Binaries
D Kim, S Kim - BlackHat Europe, 2020 - i.blackhat.com
Type confusion bug (or bad casting) is a popular vulnerability class to attack C++ software
like the web browser, document reader. This bug occurs once a program typecasts and uses …
like the web browser, document reader. This bug occurs once a program typecasts and uses …
[PDF][PDF] Don't Waste My Efforts: Pruning Redundant Sanitizer Checks of Developer-Implemented Type Checks
Type confusion occurs when C or C++ code accesses an object after casting it to an
incompatible type. The security impacts of type confusion vulnerabilities are significant …
incompatible type. The security impacts of type confusion vulnerabilities are significant …
Type casting verification: Stopping an emerging attack vector
Many applications such as the Chrome and Firefox browsers are largely implemented in
C++ for its performance and modularity. Type casting, which converts one type of an object …
C++ for its performance and modularity. Type casting, which converts one type of an object …
Hextype: Efficient detection of type confusion errors for c++
Type confusion, often combined with use-after-free, is the main attack vector to compromise
modern C++ software like browsers or virtual machines. Typecasting is a core principle that …
modern C++ software like browsers or virtual machines. Typecasting is a core principle that …
Mapping to bits: Efficiently detecting type confusion errors
The features of modularity and inheritance in C++ facilitate the developers' usage, but also
give rise to the problem of type confusion. As an ancestor class may have a different data …
give rise to the problem of type confusion. As an ancestor class may have a different data …
[图书][B] Preventing the Memory Errors in the Large-Scale C/C++ Software
Y Zhai - 2023 - search.proquest.com
The C and C++ programming languages are highly valued for their flexibility in low-level
memory management and exceptional performance. They are widely used in various …
memory management and exceptional performance. They are widely used in various …
UNCONTAINED: uncovering container confusion in the linux kernel
Type confusion bugs are a common source of security problems whenever software makes
use of type hierarchies, as an inadvertent downcast to an incompatible type is hard to detect …
use of type hierarchies, as an inadvertent downcast to an incompatible type is hard to detect …