Code:
~/tmp> uno -w reed3.c
uno: in fct main, local variable never used (evaluated) 'buffer'
statement : reed3.c:134: float buffer;
uno: in fct main, local variable never used (evaluated) 'num_vaccinated'
statement : reed3.c:123: int num_vaccinated;
uno: in fct main, local variable never used (evaluated) 'prob_S_to_V'
statement : reed3.c:100: float prob_S_to_V,prob_V_to_S;
uno: in fct main, local variable never used (evaluated) 'day_of_year'
statement : reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, uninitialized variable 'stepsize'
statement : reed3.c:159: aging_rate=((0.050000/365)/stepsize)
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, local variable never used (evaluated) 'numdays'
statement : reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, local variable never used (evaluated) 'argv'
statement : reed3.c:72: main(int argc,char *argv[])
declaration: reed3.c:73: char *argv[];
uno: in fct main, local variable never used (evaluated) 'argc'
statement : reed3.c:72: main(int argc,char *argv[])
declaration: reed3.c:73: int argc;
uno: reed3.c: 156 possible array indexing error 'N[2]' (array-size: 2)
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:188: A[k]=(int )(0.050000*N[k])
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:188: A[k]=(int )(0.050000*N[k])
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:189: O[k]=(int )(0.200000*N[k])
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:189: O[k]=(int )(0.200000*N[k])
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:190: S[k]=((N[k]-O[k])-A[k])
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:190: S[k]=((N[k]-O[k])-A[k])
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:190: S[k]=((N[k]-O[k])-A[k])
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:190: S[k]=((N[k]-O[k])-A[k])
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:191: Ainv[k]=0
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:192: V[k]=0
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: reed3.c: 232 possible array indexing error 'N[2]' (array-size: 2)
uno: reed3.c: 232 possible array indexing error 'S[2]' (array-size: 2)
uno: reed3.c: 232 possible array indexing error 'S[2]' (array-size: 2)
uno: reed3.c: 235 possible array indexing error 'N[2]' (array-size: 2)
uno: reed3.c: 235 possible array indexing error 'O[2]' (array-size: 2)
uno: reed3.c: 235 possible array indexing error 'O[2]' (array-size: 2)
uno: reed3.c: 238 possible array indexing error 'N[2]' (array-size: 2)
uno: reed3.c: 238 possible array indexing error 'A[2]' (array-size: 2)
uno: reed3.c: 238 possible array indexing error 'A[2]' (array-size: 2)
uno: reed3.c: 241 possible array indexing error 'N[2]' (array-size: 2)
uno: reed3.c: 241 possible array indexing error 'Ainv[2]' (array-size: 2)
uno: reed3.c: 241 possible array indexing error 'Ainv[2]' (array-size: 2)
uno: reed3.c: 244 possible array indexing error 'N[2]' (array-size: 2)
uno: reed3.c: 244 possible array indexing error 'V[2]' (array-size: 2)
uno: reed3.c: 244 possible array indexing error 'V[2]' (array-size: 2)
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:254: prob_S_to_O=((float )((beta*(1-mu))*O[k])/(N[k]*stepsize))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:254: prob_S_to_O=((float )((beta*(1-mu))*O[k])/(N[k]*stepsize))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:259: num_S_to_O[k]=(int )bnldev(prob_S_to_O,S[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:259: num_S_to_O[k]=(int )bnldev(prob_S_to_O,S[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:269: prob_S_to_A=(((float )((beta*(1-epsilon))*A[k])/(N[k]*stepsize))+((float )((beta*mu)*O[k])/(N[k]*stepsize)))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:269: prob_S_to_A=(((float )((beta*(1-epsilon))*A[k])/(N[k]*stepsize))+((float )((beta*mu)*O[k])/(N[k]*stepsize)))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:269: prob_S_to_A=(((float )((beta*(1-epsilon))*A[k])/(N[k]*stepsize))+((float )((beta*mu)*O[k])/(N[k]*stepsize)))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:269: prob_S_to_A=(((float )((beta*(1-epsilon))*A[k])/(N[k]*stepsize))+((float )((beta*mu)*O[k])/(N[k]*stepsize)))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:270: num_S_to_A[k]=(int )bnldev(prob_S_to_A,S[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:270: num_S_to_A[k]=(int )bnldev(prob_S_to_A,S[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:272: prob_S_to_Ainv=((float )((beta*epsilon)*A[k])/(N[k]*stepsize))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:272: prob_S_to_Ainv=((float )((beta*epsilon)*A[k])/(N[k]*stepsize))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:273: num_S_to_Ainv[k]=(int )bnldev(prob_S_to_Ainv,S[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:273: num_S_to_Ainv[k]=(int )bnldev(prob_S_to_Ainv,S[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:277: num_S_to_V[k]=(int )(((S[k]*coverage)*efficacy)/stepsize)
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:277: num_S_to_V[k]=(int )(((S[k]*coverage)*efficacy)/stepsize)
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:282: num_V_to_S[k]=(int )bnldev(prob_V_to_S,V[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:282: num_V_to_S[k]=(int )bnldev(prob_V_to_S,V[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:283: num_O_to_S[k]=(int )bnldev(prob_O_to_S,O[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:283: num_O_to_S[k]=(int )bnldev(prob_O_to_S,O[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:284: num_A_to_S[k]=(int )bnldev(prob_A_to_S,A[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:284: num_A_to_S[k]=(int )bnldev(prob_A_to_S,A[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:285: num_Ainv_to_S[k]=(int )bnldev(prob_Ainv_to_S,Ainv[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:285: num_Ainv_to_S[k]=(int )bnldev(prob_Ainv_to_S,Ainv[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:288: num_S_death[k]=(int )bnldev(prob_S_death,S[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:288: num_S_death[k]=(int )bnldev(prob_S_death,S[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:289: num_O_death[k]=(int )bnldev(prob_O_death,O[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:289: num_O_death[k]=(int )bnldev(prob_O_death,O[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:290: num_V_death[k]=(int )bnldev(prob_V_death,V[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:290: num_V_death[k]=(int )bnldev(prob_V_death,V[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:291: num_A_death[k]=(int )bnldev(prob_A_death,A[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:291: num_A_death[k]=(int )bnldev(prob_A_death,A[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:292: num_Ainv_death[k]=(int )bnldev(prob_Ainv_death,Ainv[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:292: num_Ainv_death[k]=(int )bnldev(prob_Ainv_death,Ainv[k],&(idum))
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: in fct main, array index can exceed upper-bound (2>1), var 'k'
statement : reed3.c:279: num_S_to_V[k]=0
declaration: reed3.c:74: int jj,i,k,numdays,stepsize,day_of_year,samplefreq,total_years,year_vaccination_starts,total_days;
uno: warning, ran1.c:36: condition has side effect on 'temp'
uno:global: nr.h:18 possibly redundant field 'nch'
uno:global: nr.h:18 possibly redundant field 'ncod'
uno:global: nr.h:18 possibly redundant field 'nodemax'
uno:global: nr.h:18 possibly redundant field 'left'
uno:global: nr.h:18 possibly redundant field 'right'
uno:global: nr.h:18 possibly redundant field 'icod'
uno:global: nr.h:11 possibly redundant field 'iupb'
uno:global: nr.h:11 possibly redundant field 'ncum'
uno:global: nr.h:11 possibly redundant field 'minint'
uno:global: nr.h:11 possibly redundant field 'nch'
uno:global: nr.h:11 possibly redundant field 'ncumfq'
uno:global: nr.h:11 possibly redundant field 'jdif'
uno:global: nr.h:11 possibly redundant field 'ilob'
uno:global: nr.h:11 possibly redundant field 'nrad'
uno:global: nr.h:11 possibly redundant field 'nc'
uno:global: nr.h:5 possibly redundant field 'r'
uno:global: nr.h:5 possibly redundant field 'i'
Another tool to consider, in terms of static code checking, is some kind of lint program.