[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 …

Tcd: Statically detecting type confusion errors in c++ programs

C Zou, Y Sui, H Yan, J Xue - 2019 IEEE 30th International …, 2019 - ieeexplore.ieee.org
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++ …

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 …

[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 …

[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 …

Type casting verification: Stopping an emerging attack vector

B Lee, C Song, T Kim, W Lee - 24th USENIX Security Symposium …, 2015 - usenix.org
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 …

Hextype: Efficient detection of type confusion errors for c++

Y Jeon, P Biswas, S Carr, B Lee, M Payer - Proceedings of the 2017 …, 2017 - dl.acm.org
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 …

Mapping to bits: Efficiently detecting type confusion errors

C Pang, Y Du, B Mao, S Guo - Proceedings of the 34th Annual Computer …, 2018 - dl.acm.org
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 …

[图书][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 …

UNCONTAINED: uncovering container confusion in the linux kernel

J Koschel, P Borrello, DC D'Elia, H Bos… - 32nd USENIX Security …, 2023 - usenix.org
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 …