Skip to content

Infer Warnings

Overview
Severities Distribution
Reference Comparison
History
Details
FileTotalNewDistribution
s4u-app-masterworkers-class.cpp30
.
smpi_f77.cpp60
.
System.hpp20
.
dict_test.cpp90
.
host_dvfs.cpp30
.
VirtualMachineImpl.cpp30
.
testing_sleep.cpp20
.
config.cpp20
.
mc_record.cpp20
.
sg_platf.cpp10
.
FloydZone.cpp20
.
catch.hpp10
.
platf_sax_cb.cpp10
.
ClusterZone.cpp10
.
parmap_test.cpp30
.
s4u_Comm.cpp10
.
s4u_Mailbox.cpp10
.
smpi_global.cpp10
.
instr_platform.cpp50
.
sthread.c20
.
smpi_topo.cpp10
.
link_energy.cpp10
.
host_energy.cpp70
.
link_energy_wifi.cpp10
.
FullZone.cpp10
.
NetZoneImpl.cpp10
.
gh-139.c20
.
s4u_Engine.cpp20
.
testing_exec.cpp20
.
History.cpp20
.
Channel.cpp10
.
s4u-mc-bugged1.cpp10
.
io-disk-raw.c30
.
UnfoldingEvent.cpp20
.
mutex-handling.cpp10
.
WifiZone.cpp10
.
testing_comm_direct.cpp30
.
smpi_datatype_derived.cpp20
.
maxmin_bench.cpp30
.
s4u-dht-chord-node.cpp30
.
testing_comm.cpp50
.
smpi_deployment.cpp50
.
loaders.cpp10
.
issue71.cpp20
.
xbt_str_test.cpp130
.
pthread-producer-consumer.c10
.
bmf.cpp10
.
node.cpp10
.
smpi_pmpi.cpp20
.
TransitionObjectAccess.cpp10
.
DragonflyZone.cpp30
.
network_cm02.cpp20
.
CheckerSide.cpp50
.
pthread-mutex-recursive.c10
.
smpi_bench.cpp10
.
smpi_memory.cpp20
.
s4u_Activity.cpp20
.
io-file-system.c20
.
BFSWutState.cpp10
.
s4u_ActivitySet.cpp10
.
WaitTestObserver.cpp30
.
smpi_win.cpp100
.
s4u_VirtualMachine.cpp20
.
s4u_Actor.cpp100
.
AppSide.cpp40
.
ObjectAccess.cpp30
.
routing_table.cpp10
.
Profile_test.cpp110
.
host-on-off.cpp10
.
xbt_os_file.cpp10
.
FutureEvtSet.cpp10
.
wifi_usage_decay.cpp10
.
s4u_ConditionVariable.cpp20
.
random.cpp60
.
s4u_Host.cpp10
.
smpi_datatype.cpp570
.
FatTreeZone.cpp10
.
s4u_FileSystem.cpp30
.
s4u-synchro-condition-variable-waituntil.cpp10
.
ContextBoost.cpp10
.
smpi_replay.cpp40
.
EventSet.cpp10
.
smpi_comm.cpp40
.
xbt_log_layout_format.cpp20
.
smpi_request.cpp10
.
smpi_f77_type.cpp30
.
Unfolding.cpp10
.
cpu_ti.cpp90
.
ptask_L07.cpp80
.
catch_simgrid.cpp10
.
ActorImpl.cpp10
.
ampi.cpp20
.
smpi_file.cpp30
.
smpi_f77_comm.cpp30
.
CpuImpl.cpp20
.
ContextThread.hpp10
.
link_load.cpp10
.
VivaldiZone.cpp20
.
System.cpp10
.
Transition.cpp10
.
TorusZone.cpp40
.
CommunicationDeterminismChecker.cpp30
.
issue105.cpp20
.
smpi_group.cpp40
.
smpi_f77_coll.cpp50
.
ProfileBuilder.cpp10
.
WakeupTree.cpp10
.
EngineImpl.cpp20
.
s4u-energy-exec-ptask.cpp10
.
cm02-tcpgamma.cpp10
.
RemoteApp.cpp30
.
s4u-plugin-link-load.cpp50
.
Profile.cpp20
.
s4u_Task.cpp20
.
StarZone.cpp40
.
DijkstraZone.cpp70
.
instr_smpi.cpp10
.
Total3620
DetailsFileCategoryTypeSeverityAge
DetailsFileAgeAuthorEmailCommitAdded