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
734
stars
29
forks
source link
Exception Handling For Instruction Operand Casting #50
Adds exception handling for edge-case bytecode causing instruction operand casting operations to fail (i.e. ldarg {}), where the operand was supposed to be an integer.
Adds exception handling for edge-case bytecode causing instruction operand casting operations to fail (i.e. ldarg {}), where the operand was supposed to be an integer.