Commit e5519bf5 authored by Andre Maroneze's avatar Andre Maroneze

fix renaming of libspng target

parent 2600d69c
......@@ -32,10 +32,10 @@ FCGUIFLAGS += \
-add-symbolic-path=.:.. \
## Analysis targets (suffixed with .eva)
TARGETS = libspng_example.eva
TARGETS = libspng-example.eva
### Each target <t>.eva needs a rule <t>.parse with source files as prerequisites
libspng_example.parse: \
libspng-example.parse: \
fc_stubs.c \
../examples/example.c \
../spng.c \
......
This diff is collapsed.
[metrics] Eva coverage statistics
=======================
Syntactically reachable functions = 52 (out of 94)
Semantically reached functions = 44
Coverage estimation = 84.6%
Unreached functions (8) =
<spng.c>: defilter_scanline; gamma_correct_row; paeth;
read_chunks_after_idat; scale_row; spng__zalloc; spng__zfree; trns_row;
[metrics] References to non-analyzed functions
------------------------------------
Function spng_decode_image references spng__zalloc (at spng.c:1731)
Function spng_decode_image references spng__zfree (at spng.c:1732)
Function spng_decode_image calls defilter_scanline (at spng.c:1996)
Function spng_decode_image calls trns_row (at spng.c:2188)
Function spng_decode_image calls scale_row (at spng.c:2190)
Function spng_decode_image calls gamma_correct_row (at spng.c:2192)
Function spng_decode_image calls read_chunks_after_idat (at spng.c:2242)
[metrics] Statements analyzed by Eva
--------------------------
2367 stmts in analyzed functions, 1699 stmts analyzed (71.8%)
buffer_read_fn: 9 stmts out of 9 (100.0%)
crc32: 6 stmts out of 6 (100.0%)
get_ancillary: 4 stmts out of 4 (100.0%)
read_s32: 4 stmts out of 4 (100.0%)
read_u16: 3 stmts out of 3 (100.0%)
read_u32: 3 stmts out of 3 (100.0%)
spng__calloc: 2 stmts out of 2 (100.0%)
spng__free: 2 stmts out of 2 (100.0%)
spng__malloc: 2 stmts out of 2 (100.0%)
spng__realloc: 2 stmts out of 2 (100.0%)
read_chunks_before_idat: 636 stmts out of 653 (97.4%)
check_sbit: 94 stmts out of 100 (94.0%)
check_png_keyword: 40 stmts out of 43 (93.0%)
check_chrm_int: 35 stmts out of 38 (92.1%)
main: 63 stmts out of 69 (91.3%)
check_time: 31 stmts out of 34 (91.2%)
read_header: 28 stmts out of 31 (90.3%)
calculate_subimages: 55 stmts out of 61 (90.2%)
check_ihdr: 62 stmts out of 69 (89.9%)
sample_to_target: 23 stmts out of 26 (88.5%)
check_offs: 15 stmts out of 18 (83.3%)
check_phys: 15 stmts out of 18 (83.3%)
read_chunk_bytes: 24 stmts out of 29 (82.8%)
read_idat_bytes: 27 stmts out of 36 (75.0%)
spng_ctx_new: 9 stmts out of 12 (75.0%)
check_exif: 17 stmts out of 23 (73.9%)
check_plte: 17 stmts out of 23 (73.9%)
is_critical_chunk: 7 stmts out of 10 (70.0%)
read_and_check_crc: 20 stmts out of 30 (66.7%)
inflate: 10 stmts out of 16 (62.5%)
read_scanline_bytes: 30 stmts out of 48 (62.5%)
spng_get_ihdr: 10 stmts out of 16 (62.5%)
spng_ctx_free: 25 stmts out of 44 (56.8%)
chunk_fits_in_cache: 11 stmts out of 20 (55.0%)
spng_decoded_image_size: 21 stmts out of 41 (51.2%)
inflateEnd: 3 stmts out of 6 (50.0%)
inflateInit: 3 stmts out of 6 (50.0%)
read_data: 15 stmts out of 30 (50.0%)
spng_ctx_new2: 18 stmts out of 36 (50.0%)
spng_set_png_buffer: 12 stmts out of 27 (44.4%)
spng_decode_image: 173 stmts out of 428 (40.4%)
spng_strerror: 94 stmts out of 236 (39.8%)
discard_chunk_bytes: 9 stmts out of 25 (36.0%)
spng_set_crc_action: 10 stmts out of 28 (35.7%)
[eva:garbled-mix] warning: Garbled mix generated during analysis:
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Merge {spng.c:948}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:942}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:943}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:1379}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:1390}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:1390}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:937}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:1415}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:1426}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:941}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:950}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:1394}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Misaligned {spng.c:1399}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Merge {spng.c:1406}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Merge {spng.c:1483}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0}
(origin: Arithmetic {spng.c:1407}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:1415}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:1426}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_2}
(origin: Merge {spng.c:948}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:937}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:941}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:942}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:943}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:950}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Merge {spng.c:948}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:1379}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:1390}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:1394}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:1399}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Arithmetic {spng.c:1407}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2}
(origin: Misaligned {spng.c:1390}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Misaligned {spng.c:1415}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Misaligned {spng.c:1426}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_4}
(origin: Merge {spng.c:948}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Misaligned {spng.c:937}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Misaligned {spng.c:941}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Misaligned {spng.c:942}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Misaligned {spng.c:943}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Misaligned {spng.c:950}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Merge {spng.c:948}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Misaligned {spng.c:1379}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Misaligned {spng.c:1390}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Misaligned {spng.c:1394}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Misaligned {spng.c:1399}) }}
{{ garbled mix of &{__malloc_w_spng__malloc_l220_0;
__malloc_w_spng__malloc_l220_2;
__malloc_w_spng__malloc_l220_4}
(origin: Arithmetic {spng.c:1407}) }}
This diff is collapsed.
[metrics] Defined functions (94)
======================
buffer_read_fn (address taken) (0 call); calculate_subimages (1 call);
check_chrm_int (3 calls); check_exif (3 calls); check_ihdr (2 calls);
check_offs (2 calls); check_phys (2 calls); check_plte (2 calls);
check_png_keyword (4 calls); check_png_text (2 calls); check_sbit (2 calls);
check_time (3 calls); chunk_fits_in_cache (2 calls); crc32 (5 calls);
defilter_scanline (1 call); discard_chunk_bytes (4 calls);
eva_main (0 call); gamma_correct_row (1 call); get_ancillary (19 calls);
get_ancillary2 (17 calls); inflate (1 call); inflateEnd (1 call);
inflateInit (1 call); is_critical_chunk (4 calls); main (1 call);
paeth (1 call); read_and_check_crc (2 calls); read_chunk_bytes (5 calls);
read_chunks_after_idat (1 call); read_chunks_before_idat (1 call);
read_data (4 calls); read_header (3 calls); read_idat_bytes (2 calls);
read_s32 (2 calls); read_scanline_bytes (3 calls); read_u16 (27 calls);
read_u32 (16 calls); sample_to_target (12 calls); scale_row (1 call);
spng__calloc (1 call); spng__free (26 calls); spng__malloc (9 calls);
spng__realloc (2 calls); spng__zalloc (address taken) (0 call);
spng__zfree (address taken) (0 call); spng_ctx_free (1 call);
spng_ctx_new (1 call); spng_ctx_new2 (1 call); spng_decode_image (1 call);
spng_decoded_image_size (2 calls); spng_get_bkgd (0 call);
spng_get_chrm (0 call); spng_get_chrm_int (0 call);
spng_get_chunk_limits (0 call); spng_get_exif (0 call);
spng_get_gama (0 call); spng_get_hist (0 call); spng_get_iccp (0 call);
spng_get_ihdr (1 call); spng_get_image_limits (0 call);
spng_get_offs (0 call); spng_get_phys (0 call); spng_get_plte (0 call);
spng_get_sbit (0 call); spng_get_splt (0 call); spng_get_srgb (0 call);
spng_get_text (0 call); spng_get_time (0 call); spng_get_trns (0 call);
spng_set_bkgd (0 call); spng_set_chrm (0 call); spng_set_chrm_int (0 call);
spng_set_chunk_limits (0 call); spng_set_crc_action (1 call);
spng_set_exif (0 call); spng_set_gama (0 call); spng_set_hist (0 call);
spng_set_iccp (0 call); spng_set_ihdr (0 call);
spng_set_image_limits (0 call); spng_set_offs (0 call);
spng_set_phys (0 call); spng_set_plte (0 call);
spng_set_png_buffer (1 call); spng_set_png_stream (0 call);
spng_set_sbit (0 call); spng_set_splt (0 call); spng_set_srgb (0 call);
spng_set_text (0 call); spng_set_time (0 call); spng_set_trns (0 call);
spng_strerror (4 calls); spng_version_string (0 call); trns_row (1 call);
Undefined functions (0)
=======================
'Extern' global variables (0)
=============================
Potential entry points (40)
===========================
eva_main; spng_get_bkgd; spng_get_chrm; spng_get_chrm_int;
spng_get_chunk_limits; spng_get_exif; spng_get_gama; spng_get_hist;
spng_get_iccp; spng_get_image_limits; spng_get_offs; spng_get_phys;
spng_get_plte; spng_get_sbit; spng_get_splt; spng_get_srgb; spng_get_text;
spng_get_time; spng_get_trns; spng_set_bkgd; spng_set_chrm;
spng_set_chrm_int; spng_set_chunk_limits; spng_set_exif; spng_set_gama;
spng_set_hist; spng_set_iccp; spng_set_ihdr; spng_set_image_limits;
spng_set_offs; spng_set_phys; spng_set_plte; spng_set_png_stream;
spng_set_sbit; spng_set_splt; spng_set_srgb; spng_set_text; spng_set_time;
spng_set_trns; spng_version_string;
Global metrics
==============
Sloc = 3774
Decision point = 857
Global variables = 22
If = 773
Loop = 35
Goto = 606
Assignment = 1403
Exit point = 94
Function = 94
Function call = 443
Pointer dereferencing = 909
Cyclomatic complexity = 951
spng.c:401:[kernel:typing:incompatible-types-call] warning: expected 'unsigned char *' but got argument of type 'unsigned char const *': ctx->data
spng.c:1024:[kernel:typing:incompatible-types-call] warning: expected 'unsigned char *' but got argument of type 'unsigned char const *':
data + 12
spng.c:1830:[kernel:parser:decimal-float] warning: Floating-point constant 2.2f is not represented exactly. Will use 0x1.19999a0000000p1.
(warn-once: no further messages from category 'parser:decimal-float' will be emitted)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment