Software: Apache/2.4.41 (Ubuntu). PHP/8.0.30 

uname -a: Linux apirnd 5.4.0-204-generic #224-Ubuntu SMP Thu Dec 5 13:38:28 UTC 2024 x86_64 

uid=33(www-data) gid=33(www-data) groups=33(www-data) 

Safe-mode: OFF (not secure)

/usr/share/doc/autoconf-archive/html/   drwxr-xr-x
Free 13.23 GB of 57.97 GB (22.83%)
                            Encoder    Tools    Proc.    FTP brute    Sec.    SQL    PHP-code    Update    Self remove    Logout    

Viewing file:     ax_005fprog_005fsplint.html (4.23 KB)      -rw-r--r--

ax_prog_splint

Synopsis

AX_PROG_SPLINT([AX_SPLINTFLAGS])

Description

Check for program splint, the static C code checking tool. The splint URL is given by http://www.splint.org. This macro should be use together with automake.

Enables following environment variables:

  SPLINT
  SPLINTFLAGS

and AX_SPLINTFLAGS is given by AC_SUBST. If AX_SPLINTFLAGS is not given by AX_PROG_SPLINT it defaults to "-weak".

Enables the following make target:

  splint-check

which runs splint per PROGRAMS and LIBRARIES. Output from splint run is collected in file ***_splint.log where *** is given by the PROGRAMS or LIBRARIES name.

The following line is required in Makefile.am:

  include aminclude_static.am

Source Code

Download the latest version of ax_prog_splint.m4 or browse the macro’s revision history.

License

Copyright © 2011 Henrik Uhrenholt

Copying and distribution of this file, with or without modification, are permitted in any medium without royalty provided the copyright notice and this notice are preserved. This file is offered as-is, without any warranty.