ITADN

Add support for built-in cast functions used in map indexing

#357Closedsonalmahajan15 创建于 2025-07-23
false positive
S
sonalmahajan15commented
Currently, NilAway does not support use of cast functions like `string(x)` used as map accesses. This leads to a false positive as shown below: ``` func test(v uint8) { m := make(map[string]*int) if m[string(v)] != nil { _ = *m[string(v)] // FP here } } ```
关闭于 2025-08-05 0 条评论