Can infersharp support "struct" in parser.

microsoft / infersharp

Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.

MIT License

735 stars 29 forks source link

Can infersharp support "struct" in parser. #215

Open skyleaworlder opened 1 year ago

skyleaworlder commented 1 year ago

Maybe this also need to modify infer. I only found "CSharpClassName.mli" in infer now.

matjin commented 1 year ago

Structs are supported. They are typically initialized via an initobj instruction, which is among the Parsers.

skyleaworlder commented 1 year ago

Sorry, maybe I didn't make my expression clear enough. I just didn't see Struct here.