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/e-antic-0.1.8+ds/e-antic/e-antic.h
Examining data/e-antic-0.1.8+ds/e-antic/nf.h
Examining data/e-antic-0.1.8+ds/e-antic/nf_elem.h
Examining data/e-antic-0.1.8+ds/e-antic/poly_extra.h
Examining data/e-antic-0.1.8+ds/e-antic/renf.h
Examining data/e-antic-0.1.8+ds/e-antic/renf_elem.h
Examining data/e-antic-0.1.8+ds/e-antic/renfxx.h
Examining data/e-antic-0.1.8+ds/nf/clear.c
Examining data/e-antic-0.1.8+ds/nf/init.c
Examining data/e-antic-0.1.8+ds/nf/init_randtest.c
Examining data/e-antic-0.1.8+ds/nf/print.c
Examining data/e-antic-0.1.8+ds/nf/test/t-init_clear.c
Examining data/e-antic-0.1.8+ds/nf/test_multiplier.c
Examining data/e-antic-0.1.8+ds/nf_elem/add.c
Examining data/e-antic-0.1.8+ds/nf_elem/add_fmpq.c
Examining data/e-antic-0.1.8+ds/nf_elem/add_fmpz.c
Examining data/e-antic-0.1.8+ds/nf_elem/add_si.c
Examining data/e-antic-0.1.8+ds/nf_elem/clear.c
Examining data/e-antic-0.1.8+ds/nf_elem/div.c
Examining data/e-antic-0.1.8+ds/nf_elem/equal.c
Examining data/e-antic-0.1.8+ds/nf_elem/fmpq_sub.c
Examining data/e-antic-0.1.8+ds/nf_elem/fmpz_sub.c
Examining data/e-antic-0.1.8+ds/nf_elem/get_fmpz_mat_row.c
Examining data/e-antic-0.1.8+ds/nf_elem/get_fmpz_mod_poly.c
Examining data/e-antic-0.1.8+ds/nf_elem/get_nmod_poly.c
Examining data/e-antic-0.1.8+ds/nf_elem/init.c
Examining data/e-antic-0.1.8+ds/nf_elem/inlines.c
Examining data/e-antic-0.1.8+ds/nf_elem/inv.c
Examining data/e-antic-0.1.8+ds/nf_elem/invertible_check.c
Examining data/e-antic-0.1.8+ds/nf_elem/mul.c
Examining data/e-antic-0.1.8+ds/nf_elem/norm.c
Examining data/e-antic-0.1.8+ds/nf_elem/norm_div.c
Examining data/e-antic-0.1.8+ds/nf_elem/pow.c
Examining data/e-antic-0.1.8+ds/nf_elem/print_pretty.c
Examining data/e-antic-0.1.8+ds/nf_elem/profile/p-mul.c
Examining data/e-antic-0.1.8+ds/nf_elem/profile/p-norm.c
Examining data/e-antic-0.1.8+ds/nf_elem/profile/p-trace.c
Examining data/e-antic-0.1.8+ds/nf_elem/randtest.c
Examining data/e-antic-0.1.8+ds/nf_elem/reduce.c
Examining data/e-antic-0.1.8+ds/nf_elem/rep_mat.c
Examining data/e-antic-0.1.8+ds/nf_elem/rep_mat_fmpz_mat_den.c
Examining data/e-antic-0.1.8+ds/nf_elem/scalar_div_fmpq.c
Examining data/e-antic-0.1.8+ds/nf_elem/scalar_div_fmpz.c
Examining data/e-antic-0.1.8+ds/nf_elem/scalar_div_si.c
Examining data/e-antic-0.1.8+ds/nf_elem/scalar_mul_fmpq.c
Examining data/e-antic-0.1.8+ds/nf_elem/scalar_mul_fmpz.c
Examining data/e-antic-0.1.8+ds/nf_elem/scalar_mul_si.c
Examining data/e-antic-0.1.8+ds/nf_elem/set_fmpz_mat_row.c
Examining data/e-antic-0.1.8+ds/nf_elem/si_sub.c
Examining data/e-antic-0.1.8+ds/nf_elem/sub.c
Examining data/e-antic-0.1.8+ds/nf_elem/sub_fmpq.c
Examining data/e-antic-0.1.8+ds/nf_elem/sub_fmpz.c
Examining data/e-antic-0.1.8+ds/nf_elem/sub_si.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-add_sub.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-add_sub_fmpq.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-div.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-equal_fmpz_fmpq.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-get_fmpz_mod_poly.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-get_nmod_poly.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-get_set_den.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-get_set_fmpq_poly.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-get_set_fmpz_mat_row.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-get_str_pretty.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-init_clear.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-inv.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-is_rational_integer.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-mul.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-mul_div_fmpq.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-mul_gen.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-norm.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-norm_div.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-pow.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-rep_mat.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-rep_mat_fmpz_mat_den.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-set_coeff_num_fmpz.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-set_equal.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-set_equal_si_ui.c
Examining data/e-antic-0.1.8+ds/nf_elem/test/t-trace.c
Examining data/e-antic-0.1.8+ds/nf_elem/trace.c
Examining data/e-antic-0.1.8+ds/poly_extra/arb_add_fmpq.c
Examining data/e-antic-0.1.8+ds/poly_extra/bisection_step_arb.c
Examining data/e-antic-0.1.8+ds/poly_extra/check_unique_real_root.c
Examining data/e-antic-0.1.8+ds/poly_extra/descartes_bound.c
Examining data/e-antic-0.1.8+ds/poly_extra/descartes_bound_0_1.c
Examining data/e-antic-0.1.8+ds/poly_extra/evaluate.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_add_fmpq.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_get_str_pretty.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_inlines.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_resultant_modular_div.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_set_str_pretty.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpq_set_str.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpq_vec_fprint.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpq_vec_randtest_uniq_sorted.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpq_vec_sort.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_nextprime.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_isolate_real_roots.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_num_real_roots.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_num_real_roots_sturm.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_positive_root_upper_bound_2exp.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_product_roots_fmpq_vec.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_randtest_irreducible.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_randtest_no_real_root.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_relative_condition_number_2exp.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_remove_content_2exp.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_resultant_modular_div.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_scale_0_1_fmpq.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_scale_2exp.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_poly_squarefree_part.c
Examining data/e-antic-0.1.8+ds/poly_extra/fmpz_randprime.c
Examining data/e-antic-0.1.8+ds/poly_extra/has_real_root.c
Examining data/e-antic-0.1.8+ds/poly_extra/newton_step_arb.c
Examining data/e-antic-0.1.8+ds/poly_extra/num_real_roots_0_1.c
Examining data/e-antic-0.1.8+ds/poly_extra/num_real_roots_0_1_sturm.c
Examining data/e-antic-0.1.8+ds/poly_extra/poly_evaluate_template.h
Examining data/e-antic-0.1.8+ds/poly_extra/sgn_at_half.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-check_unique_real_root.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-descartes_bound.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-evaluate.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpq_get_set_str.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpq_poly_add_sub_fmpq.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpq_poly_resultant_div.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpq_poly_set_str_pretty.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpq_vec_randtest_uniq_sorted.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpz_poly_isolate_real_roots.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpz_poly_positive_root_upper_bound_2exp.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpz_poly_randtest_irreducible.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpz_poly_real_root_upper_bound_2exp.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpz_poly_resultant_modular_div.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpz_poly_scale_0_1_fmpq.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpz_poly_scale_2exp.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-fmpz_poly_set_str_pretty.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-has_real_root.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-nextprime.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-num_real_roots.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-num_real_roots_0_1.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-num_real_roots_sturm.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-num_real_roots_vca.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-randprime.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-real_root_isolation.c
Examining data/e-antic-0.1.8+ds/poly_extra/test/t-squarefree_part.c
Examining data/e-antic-0.1.8+ds/renf/fmpz_poly_real_embeddings.c
Examining data/e-antic-0.1.8+ds/renf/init.c
Examining data/e-antic-0.1.8+ds/renf/init_nth_root.c
Examining data/e-antic-0.1.8+ds/renf/init_set.c
Examining data/e-antic-0.1.8+ds/renf/print.c
Examining data/e-antic-0.1.8+ds/renf/randtest.c
Examining data/e-antic-0.1.8+ds/renf/refine_embedding.c
Examining data/e-antic-0.1.8+ds/renf/test/t-init.c
Examining data/e-antic-0.1.8+ds/renf/test/t-init_nth_root_fmpq.c
Examining data/e-antic-0.1.8+ds/renf/test/t-randtest.c
Examining data/e-antic-0.1.8+ds/renf/test/t-real_embeddings.c
Examining data/e-antic-0.1.8+ds/renf_elem/check_embedding.c
Examining data/e-antic-0.1.8+ds/renf_elem/clear.c
Examining data/e-antic-0.1.8+ds/renf_elem/cmp.c
Examining data/e-antic-0.1.8+ds/renf_elem/cmp_fmpq.c
Examining data/e-antic-0.1.8+ds/renf_elem/floor_ceil.c
Examining data/e-antic-0.1.8+ds/renf_elem/gen.c
Examining data/e-antic-0.1.8+ds/renf_elem/get_arb.c
Examining data/e-antic-0.1.8+ds/renf_elem/get_cfrac.c
Examining data/e-antic-0.1.8+ds/renf_elem/get_d.c
Examining data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c
Examining data/e-antic-0.1.8+ds/renf_elem/init.c
Examining data/e-antic-0.1.8+ds/renf_elem/print_pretty.c
Examining data/e-antic-0.1.8+ds/renf_elem/randtest.c
Examining data/e-antic-0.1.8+ds/renf_elem/relative_condition_number_2exp.c
Examining data/e-antic-0.1.8+ds/renf_elem/rounding_template.h
Examining data/e-antic-0.1.8+ds/renf_elem/set_evaluation.c
Examining data/e-antic-0.1.8+ds/renf_elem/set_fmpq_poly.c
Examining data/e-antic-0.1.8+ds/renf_elem/sgn.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-binop.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-ceil.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-cmp.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-cmp_fmpq.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-equal_fmpq.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-floor.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-gen.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-get_arb.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-get_cfrac.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-get_d.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-get_str_pretty.c
Examining data/e-antic-0.1.8+ds/renf_elem/test/t-is_rational.c
Examining data/e-antic-0.1.8+ds/renfxx/get_num_vector.cpp
Examining data/e-antic-0.1.8+ds/renfxx/num_content.cpp
Examining data/e-antic-0.1.8+ds/renfxx/set_renf_xalloc.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-assignment.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-binop.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-ceil.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-cmp.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-constructor.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-floor.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-get.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-get_num_den.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-get_str.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-is_integer_rational.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-num_content.cpp
Examining data/e-antic-0.1.8+ds/renfxx/test/t-stream.cpp
FINAL RESULTS:
data/e-antic-0.1.8+ds/e-antic/renfxx.h:571:9: [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(t, s);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:32:13: [4] (buffer) strcat:
Does not check for buffer overflows when concatenating to destination
[MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
snprintf (warning: strncat is easily misused).
strcat(t, s);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:38:13: [4] (buffer) strcat:
Does not check for buffer overflows when concatenating to destination
[MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
snprintf (warning: strncat is easily misused).
strcat(t, s);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:79:9: [4] (buffer) strcat:
Does not check for buffer overflows when concatenating to destination
[MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
snprintf (warning: strncat is easily misused).
strcat(t, s);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:88:9: [4] (buffer) strcat:
Does not check for buffer overflows when concatenating to destination
[MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
snprintf (warning: strncat is easily misused).
strcat(t, s);
data/e-antic-0.1.8+ds/nf/test_multiplier.c:21:26: [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.
const char * s = getenv("ANTIC_TEST_MULTIPLIER");
data/e-antic-0.1.8+ds/e-antic/renfxx.h:786:13: [2] (buffer) sprintf:
Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or
vsnprintf. Risk is low because the source has a constant maximum length.
sprintf(u, "%lf", fmpq_get_d(b));
data/e-antic-0.1.8+ds/poly_extra/test/t-fmpq_poly_set_str_pretty.c:124:9: [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 * varname[3] = {"a", "aa", "A_5b"};
data/e-antic-0.1.8+ds/poly_extra/test/t-fmpz_poly_set_str_pretty.c:123:9: [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 * varname[3] = {"a", "aa", "A_5b"};
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:33:13: [2] (buffer) strcat:
Does not check for buffer overflows when concatenating to destination
[MS-banned] (CWE-120). Consider using strcat_s, strncat, strlcat, or
snprintf (warning: strncat is easily misused). Risk is low because the
source is a constant string.
strcat(t, " ~ ");
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:54:17: [2] (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). Risk is low because the source is a constant string.
strcpy(s, "-inf");
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:59:17: [2] (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). Risk is low because the source is a constant string.
strcpy(s, "inf");
data/e-antic-0.1.8+ds/renf_elem/test/t-get_str_pretty.c:30: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 * output[5] = {
data/e-antic-0.1.8+ds/renf_elem/test/t-get_str_pretty.c:36: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 * shifted_output [8] = {
data/e-antic-0.1.8+ds/e-antic/renfxx.h:565:9: [1] (buffer) strncpy:
Easily used incorrectly; doesn't always \0-terminate or check for invalid
pointers [MS-banned] (CWE-120).
strncpy(t, s, i - s);
data/e-antic-0.1.8+ds/e-antic/renfxx.h:570:36: [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).
t = (char *) flint_malloc((strlen(s) + 1) * sizeof(char));
data/e-antic-0.1.8+ds/nf_elem/equal.c:138:15: [1] (buffer) equal:
Function does not check the second iterator for over-read conditions
(CWE-126). This function is often discouraged by most C++ coding standards
in favor of its safer alternatives provided since C++14. Consider using a
form of this function that checks the second iterator before potentially
overflowing it.
int equal;
data/e-antic-0.1.8+ds/nf_elem/equal.c:172:18: [1] (buffer) equal:
Function does not check the second iterator for over-read conditions
(CWE-126). This function is often discouraged by most C++ coding standards
in favor of its safer alternatives provided since C++14. Consider using a
form of this function that checks the second iterator before potentially
overflowing it.
return equal;
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_get_str_pretty.c:69:29: [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 = size0 + 1 + strlen(var) + 1 + size1 + 1;
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_get_str_pretty.c:106:15: [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).
varsize = strlen(var);
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_get_str_pretty.c:149:18: [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).
j += strlen(str + j);
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_get_str_pretty.c:180:14: [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).
j += strlen(str + j);
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_set_str_pretty.c:88:25: [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).
if (strncmp(x, var, strlen(var)))
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_set_str_pretty.c:91:10: [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).
x += strlen(var);
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_set_str_pretty.c:153:16: [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 n = strlen(var);
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_set_str_pretty.c:154:39: [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 * z = (char *) flint_malloc((strlen(s) + 1) * sizeof(char));
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_set_str_pretty.c:179:9: [1] (buffer) strncpy:
Easily used incorrectly; doesn't always \0-terminate or check for invalid
pointers [MS-banned] (CWE-120).
strncpy(z, start, end - start);
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_set_str_pretty.c:215:16: [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 n = strlen(var);
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_set_str_pretty.c:216:39: [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 * z = (char *) flint_malloc((strlen(s) + 1) * sizeof(char));
data/e-antic-0.1.8+ds/poly_extra/fmpq_poly_set_str_pretty.c:240:9: [1] (buffer) strncpy:
Easily used incorrectly; doesn't always \0-terminate or check for invalid
pointers [MS-banned] (CWE-120).
strncpy(z, start, end - start);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:31:34: [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).
t = flint_realloc(t, strlen(s) + 4);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:37:34: [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).
t = flint_realloc(t, strlen(s) + 1);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:53:34: [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).
s = flint_malloc(strlen("-inf") + 1);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:58:34: [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).
s = flint_malloc(strlen("inf") + 1);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:78:30: [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).
t = flint_realloc(t, strlen(t) + strlen(s) + 1);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:78:42: [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).
t = flint_realloc(t, strlen(t) + strlen(s) + 1);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:87:30: [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).
t = flint_realloc(t, strlen(t) + strlen(s) + 1);
data/e-antic-0.1.8+ds/renf_elem/get_str_pretty.c:87:42: [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).
t = flint_realloc(t, strlen(t) + strlen(s) + 1);
ANALYSIS SUMMARY:
Hits = 38
Lines analyzed = 21220 in approximately 0.60 seconds (35424 lines/second)
Physical Source Lines of Code (SLOC) = 14328
Hits@level = [0] 715 [1] 24 [2] 8 [3] 1 [4] 5 [5] 0
Hits@level+ = [0+] 753 [1+] 38 [2+] 14 [3+] 6 [4+] 5 [5+] 0
Hits/KSLOC@level+ = [0+] 52.5544 [1+] 2.65215 [2+] 0.977108 [3+] 0.41876 [4+] 0.348967 [5+] 0
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.