Advanced Configuration

Using Java system properties

Using java system properties to specify the paths to the tmp, projects and sources folders is useful if you want the PC-lint Plus View agent installation to work for several users.

See the following example :

<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<squore type="client" version="2.0">
	<tmp directory="${java.io.tmpdir}/pclpview-${user.name}"/>
	<projects directory="${user.home}/.pclpview/projects"/>
	<sources directory="${java.io.tmpdir}/sources"/>
</squore>

Java system properties correspondence :

${user.home} corresponds to $HOME on Linux and %APPDATA% on Windows
${java.io.tmpdir} corresponds to /tmp on Linux and %TEMP% on Windows

Setting up HTTPS

If HTTPS redirection is set up on your PC-lint Plus View server then the HTTPS URL must be used in the command line.

For Java to be able to trust and certify the connection with the server, you also need to add the SSL/TLS certificate in the Java truststore of the client machine hosting PC-lint Plus View agent.

Java default truststore is a cacert file located in the java.home/lib/security directory. Where java.home is the runtime environment’s directory.

The default password of Java default truststore is changeit.

Refer to the Import a certificate section to know how to import the certificate in the truststore.