• Mali deadlock with X server grab
    Hi, We are working with Mali-400 driver r3p2-01rel0 on Exynos4412, running gnome-shell under Linux/X11. base: BUILD=RELEASE ARCH=arch_011_udd PLATFORM=default_7a TRACE=0 THREAD= GEOM= CORES=MALI400 USING_MALI400...
  • PC-Lint or not?
    Has anybody used PC-Lint with GNU ARM? is it hard to integrate into a makefile system? (I am not using UV as IDE) I am considering order one. Please share you comments. Thanks.
  • Lint not running
    Hello Having set the lint executable and config. file as appropriate, I find that selecting lint *.c (or lint all files) from the tools menu shows me (via the output window) that PC lint is being run...
  • PC Lint
    Hi, 1.I activate MISRA checking during the configuration. I want to turn off one rule of MISRA ( rule 92 ).I added in the "option.lnt" file the following lines: -esym(961,undef) -esym(961,92) ...
  • PC-Lint on KEIL C
    Hi, I use KEIL C evaluation version as following with PC-Lint (v1.3 fro evaluation version) Tool Version Numbers: Toolchain: MDK-Lite Version: 5.28.0.0 And using below configuration to check MISRA...