llvm / llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
http://llvm.org
Other
29.07k stars 11.99k forks source link

Taint Configuration doesn't work #54688

Open Logyiyi opened 2 years ago

Logyiyi commented 2 years ago

I encounter some problems with the taint analysis configuration. I completely followed the instructions in the official manual but got no results. I don't know if I'm using it the wrong way or if the format of the configuration file has changed. My version is 15.0.0. The Code and Configuration file are as follows. Please help me.

Code: void test1(char t){ std::cout<<t; } void mysink(char t){ std::cout<<t; } int main(int argc, char** argv) { char x = 'x'; test1(x); mysink(x); return 0; }

Configuration File: Propagations:

llvmbot commented 1 year ago

@llvm/issue-subscribers-clang-static-analyzer

I encounter some problems with the taint analysis configuration. I completely followed the instructions in the official manual but got no results. I don't know if I'm using it the wrong way or if the format of the configuration file has changed. My version is 15.0.0. The Code and Configuration file are as follows. Please help me. Code: void test1(char t){ std::cout<<t; } void mysink(char t){ std::cout<<t; } int main(int argc, char** argv) { char x = 'x'; test1(x); mysink(x); return 0; } Configuration File: Propagations: - Name: test1 DstArgs: [0] Sinks: - Name: mysink Args: [0]
steakhal commented 1 year ago

Please check it on 17.0.1