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/ats2-lang-0.4.0/src/CBOOT/pats_label_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_emit_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_basics_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dmac_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_jsonize_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_env_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_scst_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_sort_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_comarg_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_p2at_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_e0xp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_error_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_effect_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans2_dynexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_funlab_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_histaexp_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_decl_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_symbol_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dmacro2_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_hidynexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_reader_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_pprint_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_jsonize_synent2_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_staexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_stamp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_syntax_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_util_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_scst_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_constraint3_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lexbuf_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_symbol_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lexing_token_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_funent_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_jsonize_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lexbuf_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_hidynexp_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_utils_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_termet_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_deref_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp1_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_main_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_constraint3_icnstr_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp1_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_dynexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_intinf_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans2_env_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_fixity_prec_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dmacro2_eval0_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_e1xpval_error_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_syntax_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_codegen2_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp3_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_decl_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_constraint3_solve_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_label_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_appsym_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_dynexp_dn_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_lstate_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lexing_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_depgen_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/config.h
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_pfman_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_basics_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_symenv_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_lamlp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_base_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_error_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_tmpvar_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_intinf_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_patcst2_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_hipat_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_e1xpval_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_util2_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_svvar_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_environ_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_typerase_error_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_global_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_syncst_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_constraint3_jsonize_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_typerase_staexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_decl_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_util_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dyncst2_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp3_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lintprgm_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_dynexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_util_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lintprgm_myint_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_histaexp_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_location_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_util3_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_codegen2_fprint_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_dynexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans2_sort_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_toplevel_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_typerase_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_looping_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dmacro2_eval1_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_dynexp_up_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_svar_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_fixity_fxty_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_histaexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_e1xpval_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_util_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans2_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_util1_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/SATS_errno_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/SATS_stdlib_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/DATS_fcntl_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/SATS_stdarg_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/SATS_gmp_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/SATS_stdio_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/sys_SATS_wait_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/sys_SATS_stat_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/SATS_string_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/DATS_unistd_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/SATS_time_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/DATS_gmp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/SATS_unistd_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/SATS_fcntl_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libc/sys_SATS_types_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_skexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_stamp_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_codegen2_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_codegen2_util_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dcst_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_counter_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_kwds_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_taggen_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_hidynexp_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_histaexp_funlab_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_error_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_looping_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dmacro2_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_caseof_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_constraint3_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_location_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_szexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_syndef_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp1_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_fldfrat_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp1_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_errmsg_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lintprgm_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp1_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans2_p1at_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_error_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_sort_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp1_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_constraint3_simplify_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_counter_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_codegen2_datype_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_error_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lexing_error_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_template_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_assgn_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_filename_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_ctxt_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_global_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_effect_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_error_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_typerase_decl_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dyncst2_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_constraint3_mapgen_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_constraint3_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_stacst2_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans2_impdec_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_dcon_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lexing_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_filename_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_hidynexp_util_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_env_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_trywith_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_depgen_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_syntax_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_selab_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp3_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_effect_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_patcst2_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_namespace_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_utils_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_pointer_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_float_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/basics_sta_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_bool_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_list_vt_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_char_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_sizetype_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_option0_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_printf_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/ats_main_prelude_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_unsafe_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_option_vt_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_ptrarr_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_lazy_vt_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_matrix0_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_list_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_reference_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_filebas_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_array_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_lazy_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_array0_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_matrix_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_integer_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_list0_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_string_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_basics_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_option_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/prelude/basics_dyn_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans2_decl_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_emit3_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_taggen_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_claulst_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_staexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_tokbuf_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_codegen2_absrec_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lintprgm_print_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_symmap_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_typerase_dynexp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_stacst2_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_ccompenv_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_namespace_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_decl_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_error_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_fixity_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_util_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_jsonize_synent2_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_instrseq_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_p0at_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_hitype_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans2_error_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/ats_config.h
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/ats_exception.h
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/ats_prelude.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/ats_prelude_ngc.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_collecting_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_autops_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_chunk_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_top_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_marking_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_manops_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_freeitmlst_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_misc_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_globalentry_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_collecting_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_autops_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_chunk_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_top_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_marking_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_manops_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_freeitmlst_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_misc_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_globalentry_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/ats_basics.h
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/ats_types.h
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/ats_prelude_gcats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/ats_prelude_gcbdw.c
Examining data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/ats_memory.h
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_patcon_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_svar_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lintprgm_solve_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_solve_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_errmsg_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_lazyeval_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_constraint3_init_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans3_caseof_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_sort_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_tokbuf_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/DATS_linqueue_lst_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/ngc_SATS_deque_arr_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/DATS_funmap_avltree_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/SATS_hashtable_chain_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/DATS_hashtable_linprb_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/DATS_hashtable_chain_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/SATS_linqueue_lst_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/DATS_funmset_listord_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/SATS_linqueue_arr_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/SATS_funmset_listord_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/SATS_funset_avltree_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/ngc_DATS_deque_arr_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/SATS_funset_listord_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/DATS_funset_listord_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/SATS_hashtable_linprb_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/SATS_funmap_avltree_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/DATS_funset_avltree_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/libats/DATS_linqueue_arr_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_hole_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_p0at_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_reader_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_tmplab_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_effect_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_emit2_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dmacro2_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_filename_reloc_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_lexing_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_symmap_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_comarg_sats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_symenv_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_trans2_env_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_parsing_e0xp_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_d2env_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_ccomp_subst_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_mapgen_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_staexp2_solve_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_main_dats.c
Examining data/ats2-lang-0.4.0/src/CBOOT/pats_main_none_dats.c
Examining data/ats2-lang-0.4.0/config.h
Examining data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c
Examining data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_typedefs.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_instrset.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_exception.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_libc.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_runtime_memalloc.c
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_gcbdw.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_memalloc.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_basics.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_user.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_config.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_runtime.c
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_memalloca.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_user2.h
Examining data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ats2cpp_prelude.h
Examining data/ats2-lang-0.4.0/share/H/pats_atslib.h
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_runtime2_dats.c
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_typedefs.h
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_instrset.h
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_exception.h
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_memalloc_libc.h
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_runtime_memalloc.c
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_memalloc_gcbdw.h
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_memalloc.h
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_runtime_trywith.c
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_basics.h
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_memalloc_user.h
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_config.h
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_runtime.c
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_memalloca.h
Examining data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_memalloc_user2.h
FINAL RESULTS:
data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c:303:9: [4] (format) vsnprintf:
If format strings can be influenced by an attacker, they can be exploited,
and note that sprintf variations do not always \0-terminate (CWE-134). Use
a constant for the format specification.
vsnprintf(buf, buflen, fmt, cpy);
data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.h:74:27: [4] (format) printf:
If format strings can be influenced by an attacker, they can be exploited
(CWE-134). Use a constant for the format specification.
__attribute__((format(printf, 2, 3)));
data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/ats_basics.h:101:3: [4] (format) fprintf:
If format strings can be influenced by an attacker, they can be exploited
(CWE-134). Use a constant for the format specification.
fprintf ( \
data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/ats_basics.h:190:5: [4] (format) fprintf:
If format strings can be influenced by an attacker, they can be exploited
(CWE-134). Use a constant for the format specification.
fprintf (stderr, \
data/ats2-lang-0.4.0/src/CBOOT/pats_basics_dats.c:1149:11: [4] (format) vfprintf:
If format strings can be influenced by an attacker, they can be exploited
(CWE-134). Use a constant for the format specification.
(void)vfprintf((FILE*)out, (char*)fmt, ap) ;
data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_printf_dats.c:158:23: [4] (format) vfprintf:
If format strings can be influenced by an attacker, they can be exploited
(CWE-134). Use a constant for the format specification.
va_start(ap, fmt) ; vfprintf(stderr, (char*)fmt, ap) ; va_end(ap) ;
data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_printf_dats.c:175:11: [4] (format) vfprintf:
If format strings can be influenced by an attacker, they can be exploited
(CWE-134). Use a constant for the format specification.
err = vfprintf(stderr, (char*)fmt, ap) ;
data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_printf_dats.c:202:9: [4] (format) vsnprintf:
If format strings can be influenced by an attacker, they can be exploited,
and note that sprintf variations do not always \0-terminate (CWE-134). Use
a constant for the format specification.
n = vsnprintf(res, bsz, (char*)fmt, ap) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_comarg_dats.c:256:29: [3] (buffer) getenv:
Environment variables are untrustable input if they can be set by an
attacker. They can have any content and length, and the same variable can
be set more than once (CWE-807, CWE-20). Check environment variables
carefully before using them.
ATSextern_fun(ats_ptr_type, getenv) (ats_ptr_type) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_comarg_dats.c:709:9: [3] (buffer) getenv:
Environment variables are untrustable input if they can be set by an
attacker. They can have any content and length, and the same variable can
be set more than once (CWE-807, CWE-20). Check environment variables
carefully before using them.
tmp67 = getenv (ATSstrcst("USER")) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_utils_dats.c:85:22: [3] (buffer) getenv:
Environment variables are untrustable input if they can be set by an
attacker. They can have any content and length, and the same variable can
be set more than once (CWE-807, CWE-20). Check environment variables
carefully before using them.
patsopt_getenv(name) getenv(name)
data/ats2-lang-0.4.0/ccomp/runtime/pats_ccomp_typedefs.h:195:8: [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.
struct{char _[_ATSTYPE_VAR_SIZE_];} atstype_var[0] ;
data/ats2-lang-0.4.0/contrib/ats2cpp/ccomp/pats_ccomp_typedefs.h:188:8: [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.
struct{char _[_ATSTYPE_VAR_SIZE_];} atstype_var[0] ;
data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c:63:9: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy(sh->buf, init, initlen);
data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c:244:5: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy(s+curlen, t, len);
data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c:279:5: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy(s, t, len);
data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c:532:5: [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[32], *p;
data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_autops_dats.c:58:3: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy (p_dest, p_src, wsz << NBYTE_PER_WORD_LOG) ;
data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_autops_dats.c:58:3: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy (p_dest, p_src, wsz << NBYTE_PER_WORD_LOG) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_filename_dats.c:3023:3: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy (fulbas, ful, n1) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_filename_dats.c:3024:3: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy (fulbas + n1, bas, n2) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_filename_dats.c:3047:3: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy (dirbas, dir, n1) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_filename_dats.c:3049:3: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy (dirbas + n1, bas, n2) ;
data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_array_dats.c:399:9: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
#ifndef memcpy
data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_array_dats.c:400:14: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
extern void *memcpy (void *dst, const void* src, size_t n) ;
data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_array_dats.c:412:3: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy (A, ini, tsz) ;
data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_array_dats.c:416:22: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
if (left <= i) { memcpy (p, A, left * tsz) ; return ; }
data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_array_dats.c:417:5: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy (p, A, itsz);
data/ats2-lang-0.4.0/src/CBOOT/prelude/DATS_string_dats.c:894:3: [2] (buffer) memcpy:
Does not check for buffer overflows when copying to destination (CWE-120).
Make sure destination can always hold the source data.
memcpy(des, src, len) ; des[len] = '\000' ;
data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c:76:43: [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).
size_t initlen = (init == NULL) ? 0 : strlen(init);
data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c:107:19: [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).
int reallen = strlen(s);
data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c:256:28: [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).
return sdscatlen(s, t, strlen(t));
data/ats2-lang-0.4.0/contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c:289:28: [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).
return sdscpylen(s, t, strlen(t));
data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_chunk_dats.c:51:14: [1] (free) memalign:
On some systems (though not Linux-based systems) an attempt to free()
results from memalign() may fail. This may, on a few systems, be
exploitable. Also note that memalign() may not check that the boundary
parameter is correct (CWE-676). Use posix_memalign instead (defined in
POSIX's 1003.1d). Don't switch to valloc(); it is marked as obsolete in BSD
4.3, as legacy in SUSv2, and is no longer defined in SUSv3. In some cases,
malloc()'s alignment may be sufficient.
extern void *memalign(size_t boundary, size_t size);
data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_chunk_dats.c:66:9: [1] (free) memalign:
On some systems (though not Linux-based systems) an attempt to free()
results from memalign() may fail. This may, on a few systems, be
exploitable. Also note that memalign() may not check that the boundary
parameter is correct (CWE-676). Use posix_memalign instead (defined in
POSIX's 1003.1d). Don't switch to valloc(); it is marked as obsolete in BSD
4.3, as legacy in SUSv2, and is no longer defined in SUSv3. In some cases,
malloc()'s alignment may be sufficient.
ptr = memalign(alignment, size) ; *memptr = ptr ;
data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_chunk_dats.c:51:14: [1] (free) memalign:
On some systems (though not Linux-based systems) an attempt to free()
results from memalign() may fail. This may, on a few systems, be
exploitable. Also note that memalign() may not check that the boundary
parameter is correct (CWE-676). Use posix_memalign instead (defined in
POSIX's 1003.1d). Don't switch to valloc(); it is marked as obsolete in BSD
4.3, as legacy in SUSv2, and is no longer defined in SUSv3. In some cases,
malloc()'s alignment may be sufficient.
extern void *memalign(size_t boundary, size_t size);
data/ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_chunk_dats.c:66:9: [1] (free) memalign:
On some systems (though not Linux-based systems) an attempt to free()
results from memalign() may fail. This may, on a few systems, be
exploitable. Also note that memalign() may not check that the boundary
parameter is correct (CWE-676). Use posix_memalign instead (defined in
POSIX's 1003.1d). Don't switch to valloc(); it is marked as obsolete in BSD
4.3, as legacy in SUSv2, and is no longer defined in SUSv3. In some cases,
malloc()'s alignment may be sufficient.
ptr = memalign(alignment, size) ; *memptr = ptr ;
data/ats2-lang-0.4.0/src/CBOOT/pats_filename_dats.c:3020:8: [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).
n2 = strlen ((char*)bas) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_filename_dats.c:3041:8: [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).
n1 = strlen ((char*)dir) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_filename_dats.c:3042:8: [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).
n2 = strlen ((char*)bas) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_reader_dats.c:298:65: [1] (buffer) getchar:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
tmp1 = ats_select_mac(ats_ptrget_mac(pats_reader_struct, arg0), getchar) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_reader_dats.c:395:58: [1] (buffer) getchar:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
ats_select_mac(ats_ptrget_mac(pats_reader_struct, arg0), getchar) = tmp4 ;
data/ats2-lang-0.4.0/src/CBOOT/pats_reader_dats.c:448:58: [1] (buffer) getchar:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
ats_select_mac(ats_ptrget_mac(pats_reader_struct, arg0), getchar) = ats_castfn_mac(ats_clo_ptr_type, arg1) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_reader_dats.c:560:58: [1] (buffer) getchar:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
ats_select_mac(ats_ptrget_mac(pats_reader_struct, arg0), getchar) = tmp16 ;
data/ats2-lang-0.4.0/src/CBOOT/pats_reader_dats.c:728:58: [1] (buffer) getchar:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
ats_select_mac(ats_ptrget_mac(pats_reader_struct, arg0), getchar) = tmp24 ;
data/ats2-lang-0.4.0/src/CBOOT/pats_reader_dats.c:750:66: [1] (buffer) getchar:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
tmp36 = ats_select_mac(ats_ptrget_mac(pats_reader_struct, arg0), getchar) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_decl_dats.c:3937:11: [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).
len = strlen (p) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_decl_dats.c:3955:11: [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).
len = strlen (p) ;
data/ats2-lang-0.4.0/src/CBOOT/pats_trans1_decl_dats.c:3973:11: [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).
len = strlen (p) ;
ANALYSIS SUMMARY:
Hits = 49
Lines analyzed = 554511 in approximately 10.14 seconds (54693 lines/second)
Physical Source Lines of Code (SLOC) = 389776
Hits@level = [0] 68 [1] 20 [2] 18 [3] 3 [4] 8 [5] 0
Hits@level+ = [0+] 117 [1+] 49 [2+] 29 [3+] 11 [4+] 8 [5+] 0
Hits/KSLOC@level+ = [0+] 0.300172 [1+] 0.125713 [2+] 0.0744017 [3+] 0.0282213 [4+] 0.0205246 [5+] 0
Symlinks skipped = 12 (--allowlink overrides but see doc for security issue)
Dot directories skipped = 1 (--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.