TMUX XTU Analysis

Detailed analysis results of the TMUX project

Analyzed project	All Non-CTU Findings (baseline)	All CTU Findings	New CTU findings	Disappeared findings	Successfully analyzed	Failed to analyze	Analysis Time (baseline)[s]	Analysis Time XTU (1st Phase + 2nd Phase)[s]	Median of bug path length (BPL) in baseline	Median of BPL CTU	Median of BPL of new findings	Median of BPL of disappeared findings
TMux	49	77	29	1	133 files	0 files	39	4+75	16	16	17	6

Checker ID	Number of new findings
core.NonNullParamChecker	2
core.NullDereference	9
unix.API	1
unix.Malloc	17

☑️

1. core.NonNullParamChecker http://cc.elte.hu:8080/#baseline=95&newcheck=96&report=10008

• cmd_copy_argv(argc, argv) contains a branch based on whether an argument is null or not.
• Thus, here, it could be, that an argument is NULL and we len it.
• (But this is a hard to decide case, as "logic dictates" that the passed arguments does exist and not null strings.)

2. unix.Malloc Potential memory leak: http://cc.elte.hu:8080/#baseline=95&newcheck=96
3. unix.Malloc Potential memory leak: http://cc.elte.hu:8080/#baseline=95&newcheck=96&report=10053 and http://cc.elte.hu:8080/#baseline=95&newcheck=96&report=10054 and http://cc.elte.hu:8080/#baseline=95&newcheck=96&report=10044

❎

None?