One can download ready-to-run binaries from Download section. Inside it one can find list of dependencies.
So, here is how to work with ART: writing resource description (template), running artlibgen to generate header and source for instrumentation, building and running target application with automatic generation of tracefile, running artrepgen to generate human-readable report about finded errors.1. Resource description.
posix-gcc-mt-file-lint.xml # This is example template with description of two resources # Other resources one can describe similar # If you are stuck, email me.
artlibgen TEMPLATE HEADER SOURCE artlibgen posix-gcc-mt-file-lint.xml art.h art.c # Example of running # If template processed without error, art.h art.c would appear
3.1 We have to insert into main() as first function call art_start(""); 3.2 gcc -Wno-pointer-to-int-cast art.c # Building art.o 3.3 gcc -include art.h main.c ... # Build target sources 3.4 Linking all object files (with art.o also) into target binary
artrepgen tracefile # Human-readable information about errors with resources would be printed to stdout.If something goes wrong - email me.