11 commits

Author	SHA1	Message	Date
Alex Gartner	08b94f9392	Resolve underlying type to detect overflows in type aliases	2024-07-20 10:06:43 +02:00
Cosmin Cojocar	81b076f53d	Format imports ... Signed-off-by: Cosmin Cojocar <cosmin@cojocar.ch>	2024-05-27 13:03:01 +02:00
Cosmin Cojocar	4bf5667f66	Add a new rule to detect integer overflow on integer types conversion ... Signed-off-by: Cosmin Cojocar <cosmin@cojocar.ch>	2024-05-27 13:03:01 +02:00
Cosmin Cojocar	f338a98bf3	Restrict the maximum depth when tracking the slice bounds ... Signed-off-by: Cosmin Cojocar <gcojocar@adobe.com>	2023-10-13 10:03:27 +02:00
Cosmin Cojocar	293d887525	Fix lint warnings ... Signed-off-by: Cosmin Cojocar <gcojocar@adobe.com>	2023-09-20 10:19:51 +02:00
Cosmin Cojocar	e02e2f6d5b	Redesign and reimplement the slice out of bounds check using SSA code representation ... Signed-off-by: Cosmin Cojocar <gcojocar@adobe.com>	2023-09-20 10:19:51 +02:00
Oleksandr Redko	1f689968ec	Fix typos in comments, vars and tests	2023-05-30 08:26:41 +02:00
Matthieu MOREL	d6aeaad931	correct gci linter (#946) ... Signed-off-by: Matthieu MOREL <matthieu.morel35@gmail.com>	2023-03-30 09:31:24 +02:00
Cosmin Cojocar	4340efaa9a	Format file	2023-02-16 09:45:28 +01:00
Cosmin Cojocar	f850069114	Use the gosec issue in the go analysers	2023-02-16 09:45:28 +01:00
Cosmin Cojocar	31e63276f1	Add support for Go analysis framework and SSA code representation	2023-02-16 09:45:28 +01:00