Flawfinder version 2.0.10, (C) 2001-2019 David A. Wheeler.
Number of rules (primarily dangerous function names) in C/C++ ruleset: 223
Examining data/wala-1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke.cpp
Examining data/wala-1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp
Examining data/wala-1.5.2/com.ibm.wala.cast/source/c/include/CAstWrapper.h
Examining data/wala-1.5.2/com.ibm.wala.cast/source/c/include/Exceptions.h
Examining data/wala-1.5.2/com.ibm.wala.cast/source/c/include/cast_constants.h
Examining data/wala-1.5.2/com.ibm.wala.cast/source/c/include/cast_control_flow_map.h
Examining data/wala-1.5.2/com.ibm.wala.cast/source/c/include/cast_operators.h
Examining data/wala-1.5.2/com.ibm.wala.cast/source/c/include/cast_qualifiers.h
Examining data/wala-1.5.2/com.ibm.wala.cast/source/c/include/launch.h
Examining data/wala-1.5.2/com.ibm.wala.cast/source/c/jni/CAstWrapper.cpp
Examining data/wala-1.5.2/com.ibm.wala.cast/source/c/jni/Exceptions.cpp
Examining data/wala-1.5.2/com.ibm.wala.cast/source/c/jni/Java_com_ibm_wala_cast_ir_translator_NativeBridge.cpp
Examining data/wala-1.5.2/com.ibm.wala.cast/source/c/jni/launch.cpp

FINAL RESULTS:

data/wala-1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:34:3:  [4] (buffer) strcpy:
  Does not check for buffer overflows when copying to destination [MS-banned]
  (CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
  easily misused).
  strcpy(buf, argv[1]);
data/wala-1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:33:16:  [2] (buffer) char:
  Statically-sized arrays can be improperly restricted, leading to potential
  overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use
  functions that limit length, or ensure that the size is larger than the
  maximum possible length.
  char *buf = (char *)malloc((strlen(argv[1]) + 100) * sizeof(char));
data/wala-1.5.2/com.ibm.wala.cast.test/harness-src/c/smoke_main.cpp:33:31:  [1] (buffer) strlen:
  Does not handle strings that are not \0-terminated; if given one it may
  perform an over-read (it could cause a crash if unprotected) (CWE-126).
  char *buf = (char *)malloc((strlen(argv[1]) + 100) * sizeof(char));

ANALYSIS SUMMARY:

Hits = 3
Lines analyzed = 1520 in approximately 0.35 seconds (4367 lines/second)
Physical Source Lines of Code (SLOC) = 1161
Hits@level = [0]  10 [1]   1 [2]   1 [3]   0 [4]   1 [5]   0
Hits@level+ = [0+]  13 [1+]   3 [2+]   2 [3+]   1 [4+]   1 [5+]   0
Hits/KSLOC@level+ = [0+] 11.1972 [1+] 2.58398 [2+] 1.72265 [3+] 0.861326 [4+] 0.861326 [5+]   0
Dot directories skipped = 41 (--followdotdir overrides)
Minimum risk level = 1
Not every hit is necessarily a security vulnerability.
There may be other security vulnerabilities; review your code!
See 'Secure Programming HOWTO'
(https://dwheeler.com/secure-programs) for more information.