daparic

# Makefile for Visual Studio 2019 C/C++ project

# Compiler
CC = cl.exe

# Compiler flags
CFLAGS = /EHsc /W3

# Source file
SOURCE = main.c

daparic

<?xml version='1.0' encoding='UTF-8'?><ResultsSession buildId="Default Project-2023-10-24" date="10/24/23 10:01:24" machine="LAPTOP-1QQN8248" project="Default Project" tag="Run Unit Tests" time="2023-10-24T10:01:24+08:00" toolName="C++test" toolVer="2023.1.0.20230525B2127" user="dx">
   <TestConfig machine="LAPTOP-1QQN8248" name="Run Unit Tests" pseudoUrl="c++test.builtin://Run Unit Tests" user="dx"/>
   <Authors>
      <Author id="dev1" name="dx"/>
   </Authors>
   <VersionInfos>
      <StorageInfo ownerId="com.parasoft.xtest.checkers.api.execution" resultId="IExecutionViolation" ver="2"/>
      <StorageInfo ownerId="com.parasoft.xtest.checkers.api.execution" resultId="InsureViolation" ver="3"/>
      <StorageInfo ownerId="com.parasoft.xtest.checkers.api.scope" resultId="IScopeProjectInfo" ver="3"/>
      <StorageInfo ownerId="com.parasoft.xtest.checkers.api.standards" resultId="IMetricsViolation" ver="2"/>

daparic

#Fri Oct 20 07:21:10 PST 2023
APSC_DV-000480-a-isNumericalDataNotTainted=false
APSC_DV-000480-a-reportUnvalidatedViolations=true
APSC_DV-000480-a-taintedDataSourceSocket=true
APSC_DV-000480-a-taintedInputFiles=true
APSC_DV-000480-a-taintedInputLowLevel=true
APSC_DV-000480-a-taintedInputNetwork=true
APSC_DV-000480-a-taintedInputPipes=true
APSC_DV-000480-a-taintedInputStreams=false
APSC_DV-000480-a-taintedInputSystem=true

daparic

  builtin://CWE Top 25 + On the Cusp 2022
  builtin://DISA-ASD-STIG
  builtin://UL 2900
  builtin://Flow Analysis Aggressive
  builtin://Run VxWorks Application with Mem Monitoring - RTP (PassFS)
  builtin://Run Unit Tests (File Scope)
  builtin://Run DS-5 Application with Memory Monitoring (FVP simulator)
  builtin://Build Test Executable
  builtin://Build Renesas Rx Application Monitoring Executable in e2 Studio

daparic

  Clang C/C++ Compiler 10.0 (x86_64) - clang_10_0
  Clang C/C++ Compiler 12.0 (x86_64) - clang_12_0
  Clang C/C++ Compiler 5.0 - clang_5_0
  Clang C/C++ Compiler 6.0 - clang_6_0
  Clang C/C++ Compiler 8.0 (x86_64) - clang_8_0
  GNU GCC 10.x (x86_64) - gcc_10-64
  GNU GCC 11.x (x86_64) - gcc_11-64
  GNU GCC 12.x (x86_64) - gcc_12-64
  GNU GCC 5.x - gcc_5

daparic

Parasoft C/C++test Ninja Support

daparic

https://asciinema.org/a/q4opufgOywGvUf5V7DX9ZFUug

daparic

openjdk version "11.0.18" 2023-01-17 LTS
OpenJDK Runtime Environment Zulu11.62+17-CA (build 11.0.18+10-LTS)
OpenJDK 64-Bit Server VM Zulu11.62+17-CA (build 11.0.18+10-LTS, mixed mode)

daparic

#include <jni.h>
#include <stdlib.h>
#include <string.h>

static int zeroMethod() { return 0; }

static void assignmentRemainderOfMethodResult() {
  int a = 5;
  a %= zeroMethod(); // VIOLATION
}

daparic

export PS1="\n\e[44;1;37m\w \e[0m\n$ "