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

Understanding Apache Karaf

Apache Karafi is modular, lightweight enterprise-ready OSGi-based container runtime with support for hot deployment, clustering, remote access and application provisioning.

Karaf

M4 for beginners

M4 - originally written by K&R - is a general purpose macro processor with extensive capabilities such as file inclusion, text replacement and string manipulation.

SWIG deep-dive

SWIG is a software development tool that is used to parse C/C++ interfaces and generate glue-code for higher level programming languages.
SWIG is a failry complete C++ compiler with support for nearly all the language features. SWIG can also be used to package structures and classes into proxy classes in the target higher level language.

example.iexample.i
1
2
3
4
5
6
7
8
9
10
11
%module example
%{
/* Put headers and other declarations here */
extern double My_variable;
extern int fact(int);
extern int my_mod(int n, int m);
%}

extern double My_variable;
extern int fact(int);
extern int my_mod(int n, int m);

Your browser is out-of-date!

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

×