# # ChangeLog for tools/checkers in mainline # # Generated by Trac 1.6 # 2025-08-23T00:38:35Z Fri, 25 Jun 2010 14:49:42 GMT Martin Decky [fc81981] * kernel/arch/abs32le/include/interrupt.h (modified) * kernel/arch/abs32le/include/mm/page.h (modified) * kernel/generic/include/verify.h (modified) * tools/checkers/vcc.h (modified) add and improve annotations Fri, 25 Jun 2010 13:38:30 GMT Martin Decky [33c4f72] * kernel/arch/abs32le/include/atomic.h (modified) * kernel/generic/include/atomic.h (modified) * kernel/generic/include/verify.h (modified) * tools/checkers/vcc.h (added) * tools/checkers/vcc.py (modified) improve annotations move to the newest VCC syntax use VCC ... Thu, 24 Jun 2010 13:00:16 GMT Martin Decky [09a0bd4a] * kernel/arch/abs32le/include/atomic.h (modified) * kernel/arch/abs32le/include/types.h (modified) * kernel/generic/include/atomic.h (modified) * kernel/generic/include/verify.h (added) * tools/checkers/vcc.py (modified) initial properties annotation and verification support (does not do ... Tue, 22 Jun 2010 11:37:50 GMT Martin Decky [4ca26c9b] * tools/checkers/vcc.py (modified) improve support for Vcc, add basic source preprocessing (thx to ... Mon, 14 Jun 2010 16:49:05 GMT Martin Decky [96e7a94] * tools/checkers/howto.txt (added) add simple HOWTO Fri, 26 Feb 2010 12:42:32 GMT Martin Decky [e0b0c25] * tools/checkers/clang.py (added) add support for Clang static analyzer Fri, 26 Feb 2010 12:40:56 GMT Martin Decky [958de16] * tools/checkers/stanse.py (modified) * tools/checkers/vcc.py (modified) slightly better code Tue, 05 Jan 2010 16:08:57 GMT U-ALPHA\Administrator [ed63298] * tools/checkers/vcc.py (modified) add more Vcc compatibility preprocessing (by Ondrej Sery) Tue, 05 Jan 2010 12:57:32 GMT U-ALPHA\Administrator [679c361] * tools/checkers/vcc.py (modified) preprocess sources using GCC preprocessor run Vcc with correct ... Mon, 04 Jan 2010 23:55:24 GMT U-ALPHA\Administrator [6064dab] * tools/checkers/jobfile.py (added) * tools/checkers/stanse.py (moved) * tools/checkers/vcc.py (added) move checker tools one directory up initial (dummy) support for Vcc Mon, 04 Jan 2010 15:21:19 GMT Martin Decky [8786aa5] * Makefile (modified) * boot/arch/arm32/Makefile.inc (modified) * boot/arch/arm32/loader/Makefile (modified) * boot/arch/arm32/loader/Makefile.build (modified) * boot/arch/arm32/loader/Makefile.common (modified) * boot/arch/arm32/loader/Makefile.toolchain (modified) * boot/arch/ia64/Makefile.inc (modified) * boot/arch/ia64/loader/Makefile (modified) * boot/arch/ia64/loader/Makefile.build (modified) * boot/arch/ia64/loader/Makefile.common (modified) * boot/arch/ia64/loader/Makefile.toolchain (modified) * boot/arch/mips32/Makefile.inc (modified) * boot/arch/mips32/loader/Makefile (modified) * boot/arch/mips32/loader/Makefile.build (modified) * boot/arch/mips32/loader/Makefile.common (modified) * boot/arch/mips32/loader/Makefile.toolchain (modified) * boot/arch/ppc32/Makefile.inc (modified) * boot/arch/ppc32/loader/Makefile (modified) * boot/arch/ppc32/loader/Makefile.build (modified) * boot/arch/ppc32/loader/Makefile.common (modified) * boot/arch/ppc32/loader/Makefile.toolchain (modified) * boot/arch/sparc64/Makefile.inc (modified) * boot/arch/sparc64/loader/Makefile (modified) * boot/arch/sparc64/loader/Makefile.build (modified) * boot/arch/sparc64/loader/Makefile.common (modified) * boot/arch/sparc64/loader/Makefile.toolchain (modified) * kernel/Makefile (modified) * kernel/Makefile.build (modified) * kernel/Makefile.common (modified) * tools/checkers/stanse/ThreadChecker.xml (moved) * tools/checkers/stanse/stanse.py (added) * tools/jobfile.py (modified) * uspace/Makefile (modified) * uspace/app/bdsh/Makefile (modified) * uspace/app/bdsh/Makefile.build (modified) * uspace/app/bdsh/Makefile.common (modified) * uspace/app/edit/Makefile (modified) * uspace/app/edit/Makefile.build (modified) * uspace/app/edit/Makefile.common (modified) * uspace/app/getterm/Makefile (modified) * uspace/app/getterm/Makefile.build (modified) * uspace/app/getterm/Makefile.common (modified) * uspace/app/init/Makefile (modified) * uspace/app/init/Makefile.build (modified) * uspace/app/init/Makefile.common (modified) * uspace/app/klog/Makefile (modified) * uspace/app/klog/Makefile.build (modified) * uspace/app/klog/Makefile.common (modified) * uspace/app/redir/Makefile (modified) * uspace/app/redir/Makefile.build (modified) * uspace/app/redir/Makefile.common (modified) * uspace/app/tester/Makefile (modified) * uspace/app/tester/Makefile.build (modified) * uspace/app/tester/Makefile.common (modified) * uspace/app/tetris/Makefile (modified) * uspace/app/tetris/Makefile.build (modified) * uspace/app/tetris/Makefile.common (modified) * uspace/app/trace/Makefile (modified) * uspace/app/trace/Makefile.build (modified) * uspace/app/trace/Makefile.common (modified) * uspace/lib/libblock/Makefile (modified) * uspace/lib/libblock/Makefile.build (modified) * uspace/lib/libblock/Makefile.common (modified) * uspace/lib/libc/Makefile (modified) * uspace/lib/libc/Makefile.build (modified) * uspace/lib/libc/Makefile.common (modified) * uspace/lib/libc/Makefile.toolchain (modified) * uspace/lib/libfs/Makefile (modified) * uspace/lib/libfs/Makefile.build (modified) * uspace/lib/libfs/Makefile.common (modified) * uspace/lib/softfloat/Makefile (modified) * uspace/lib/softfloat/Makefile.build (modified) * uspace/lib/softfloat/Makefile.common (modified) * uspace/lib/softint/Makefile (modified) * uspace/lib/softint/Makefile.build (modified) * uspace/lib/softint/Makefile.common (modified) * uspace/srv/bd/ata_bd/Makefile (modified) * uspace/srv/bd/ata_bd/Makefile.build (modified) * uspace/srv/bd/ata_bd/Makefile.common (modified) * uspace/srv/bd/file_bd/Makefile (modified) * uspace/srv/bd/file_bd/Makefile.build (modified) * uspace/srv/bd/file_bd/Makefile.common (modified) * uspace/srv/bd/gxe_bd/Makefile (modified) * uspace/srv/bd/gxe_bd/Makefile.build (modified) * uspace/srv/bd/gxe_bd/Makefile.common (modified) * uspace/srv/bd/rd/Makefile (modified) * uspace/srv/bd/rd/Makefile.build (modified) * uspace/srv/bd/rd/Makefile.common (modified) * uspace/srv/char/i8042/Makefile (modified) * uspace/srv/char/i8042/Makefile.build (modified) * uspace/srv/char/i8042/Makefile.common (modified) * uspace/srv/cir/fhc/Makefile (modified) * uspace/srv/cir/fhc/Makefile.build (modified) * uspace/srv/cir/fhc/Makefile.common (modified) * uspace/srv/cir/obio/Makefile (modified) * uspace/srv/cir/obio/Makefile.build (modified) * uspace/srv/cir/obio/Makefile.common (modified) * uspace/srv/clip/Makefile (modified) * uspace/srv/clip/Makefile.build (modified) * uspace/srv/clip/Makefile.common (modified) * uspace/srv/console/Makefile (modified) * uspace/srv/console/Makefile.build (modified) * uspace/srv/console/Makefile.common (modified) * uspace/srv/devmap/Makefile (modified) * uspace/srv/devmap/Makefile.build (modified) * uspace/srv/devmap/Makefile.common (modified) * uspace/srv/fb/Makefile (modified) * uspace/srv/fb/Makefile.build (modified) * uspace/srv/fb/Makefile.common (modified) * uspace/srv/fs/devfs/Makefile (modified) * uspace/srv/fs/devfs/Makefile.build (modified) * uspace/srv/fs/devfs/Makefile.common (modified) * uspace/srv/fs/fat/Makefile (modified) * uspace/srv/fs/fat/Makefile.build (modified) * uspace/srv/fs/fat/Makefile.common (modified) * uspace/srv/fs/tmpfs/Makefile (modified) * uspace/srv/fs/tmpfs/Makefile.build (modified) * uspace/srv/fs/tmpfs/Makefile.common (modified) * uspace/srv/kbd/Makefile (modified) * uspace/srv/kbd/Makefile.build (modified) * uspace/srv/kbd/Makefile.common (modified) * uspace/srv/loader/Makefile (modified) * uspace/srv/loader/Makefile.build (modified) * uspace/srv/loader/Makefile.common (modified) * uspace/srv/mouse/c_mouse/Makefile (modified) * uspace/srv/mouse/c_mouse/Makefile.build (modified) * uspace/srv/mouse/c_mouse/Makefile.common (modified) * uspace/srv/ns/Makefile (modified) * uspace/srv/ns/Makefile.build (modified) * uspace/srv/ns/Makefile.common (modified) * uspace/srv/part/mbr_part/Makefile (modified) * uspace/srv/part/mbr_part/Makefile.build (modified) * uspace/srv/part/mbr_part/Makefile.common (modified) * uspace/srv/pci/Makefile (modified) * uspace/srv/pci/Makefile.build (modified) * uspace/srv/pci/Makefile.common (modified) * uspace/srv/pci/libpci/Makefile (modified) * uspace/srv/pci/libpci/Makefile.build (modified) * uspace/srv/pci/libpci/Makefile.common (modified) * uspace/srv/vfs/Makefile (modified) * uspace/srv/vfs/Makefile.build (modified) * uspace/srv/vfs/Makefile.common (modified) remove Stanse-specific constructs from makefiles add generic support ...