Static analysis with Infer

Static analysis with Infer

Infer is a Java and C-family static analysis tool with the ability to identify potential memory leaks in code, null pointers and thread safety whilst being easy to extend.

run_infer.shhello-world
1
2
3
4
5

$ infer run -- gcc -c app.c
app.c:5: error: NULL_DEREFERENCE
pointer s last assigned on line 4 could be null and is dereferenced at line 5, column 10

# infer

Comments

Your browser is out-of-date!

Update your browser to view this website correctly. Update my browser now

×