repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
states: handle fake slist properly when we merge true and false paths
2016-01-15
D
an
C
a
rpenter
capp
e
d: fi
x
return implies capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan
Carpenter
capped: better handle on unmatch
e
d
st
a
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-15
Dan Carpenter
extra: handle
retur
n
ed struct m
e
m
b
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-13
D
a
n Carpe
n
ter
db: make
g
e
t_
p
aram_name() check
f
or
N
ULL sm
-
>s
y
m pointe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-13
Dan Carpent
e
r
use
r
_da
t
a2: simp
l
e_str
t
o
ul()
i
s user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-13
Da
n
Carpenter
user_dat
a
2: alw
a
ys s
e
t *f
o
o to user d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-13
Da
n
Carpen
t
er
u
s
er_d
a
t
a2:
u
se fake as
s
ignm
e
n
t
s instead of
duplicating
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-13
Dan Ca
r
penter
use
r
_data2:
h
a
n
d
le
a
rrays b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-06
Dan Ca
r
penter
*new* vim_smdb: a script
f
or
looking up caller information
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-01-04
Dan Carpenter
b
u
f
_
size: fix
c
ompile on o
l
der GCCs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-22
Dan Carpenter
math: use
r
e
a
l_absolute for cus
t
o
m
ma
t
h handling (user_data)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-22
Dan Carpenter
d
e
b
ug: add __smatch_real_
a
bso
l
ute()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-21
D
a
n
C
arpenter
s
mdb
.
py:
a
d
d trace_
p
ar
a
m fe
a
tur
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-21
Dan
Carpenter
smdb
.
py:
add CUL
L
_PATH typ
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-21
Dan Carpen
t
er
smdb
.
py: add
call_tr
e
e to help output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-21
Dan Carpen
t
er
data_so
u
rce: don't
print wr
o
ng
sources
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-17
Dan Carpenter
data_source:
f
o
llow paramete
r
s bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-17
Dan Carpenter
e
s
ta
t
e: cl
e
ar unset stru
c
t members in clon
e
_d
i
nfo_per
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-17
D
a
n Car
p
e
nter
f
l
ow
:
fix s
o
m
e
issues
with too hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-17
Dan
Carpenter
stru
c
t_assignment:
handle sscanf
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
che
c
k_ke
r
nel_printf
.
c: support futu
r
e %pgX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Vill
e
moes
ch
e
c
k
_kernel_prin
t
f
.
c: check for
re
d
undant or
confusing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
check_kernel_printf
.
c: actua
l
ly allow printk level
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemoes
check_k
e
r
n
e
l
_printf
.
c:
s
upport %pC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-09
R
asmus V
i
llemoes
che
c
k
_ke
r
nel_printf
.
c: remove some %
p
I
S
f
als
e
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-09
Rasm
u
s Vi
l
lemoes
check_
k
ernel_
p
rintf
.
c:
upda
t
e struct print
f
_spec to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus Villemo
e
s
check_kernel_
p
rint
f
.
c: check for s
i
gne
d
char versus
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-09
R
a
smus V
i
lle
m
oes
check_kernel_pri
n
tf
.
c
:
re
o
rder f
l
ag defin
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-09
Rasmus
V
illemoes
sparse:
don't warn about unknown
a
ttribu
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-09
Or Gerlitz
err
_
p
t
r
_
d
e
re
f
: Fi
x
bu
i
ld on RHEL6
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-04
Dan Carpenter
ranges: export
s
v
al_fls_mask() an
d
fls_mask
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-04
Dan Carp
e
nter
impl
i
ed: r
e
move
l
eft_right variabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-03
Dan Ca
r
pen
t
er
imp
l
ied: do type
p
romo
t
i
o
n ear
l
ier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-02
Dan Carpenter
implied:
r
ename "rang
e
s" to "r
l
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-02
Da
n
Carpenter
i
mpl
i
ed: rename "
v
als" to "rl"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-02
Dan Carpe
n
ter
implied: rename lr t
o
l
e
ft_
r
igh
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-02
Dan Carpen
t
e
r
impl
i
ed: use "
s
m" as th
e
default name fo
r
sm_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-01
Da
n
C
arp
e
nter
implied:
r
em
o
v
e
the --no-i
m
pl
i
ed option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-01
Dan
Carpen
t
er
flow: commit the rest of th
e
ranged c
a
se patch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-01
Dan
C
arpenter
sm
a
tch
:
r
e
m
ove --known
_
conditions o
p
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-01
Dan
C
arp
e
nter
msg: print sm_ms
g
() if local_debug is
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-12-01
Dan Carpenter
comparison: fix
an impli
c
a
t
ion bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-30
Dan Carpe
n
t
er
flow
:
ha
n
dl
e
r
anged cas
e
s
t
a
te
m
ent
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-30
Dan Carpenter
fu
n
ction_
h
oo
k
s
: impossible: don'
t
set both sid
e
s to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-27
D
a
n Carpenter
u
nreachable: ign
o
re a
c
ouple ne
w
macr
o
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-24
Dan
C
arpenter
stri
n
g_li
s
t
: acc
e
pt const st
r
ings and
NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-19
D
a
n
C
arpenter
valida
t
ion: update some tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-19
Dan
C
arpent
e
r
compari
s
o
n: remove bogus NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-19
Dan Carpenter
s
m
a
t
ch_e
s
tate
:
fix clone_estate_cast(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-19
Dan
C
arpenter
*new* imp
o
ssible_mask:
c
o
mp
l
ain
i
f people do "if (
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-17
D
a
n Carp
e
nter
extra:
f
ix ge
t
_
u
ser() handli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-17
D
a
n
Carpenter
e
quiv: mark var
i
ables as equiv e
v
en w
h
en thei
r
type
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-17
Dan Ca
r
penter
*new* real_absolute: give a m
o
re accurate abso
l
ute
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-12
D
an Carpenter
ranges: doing division was somet
i
mes corrupt
i
n
g memory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-11
D
an Ca
r
pente
r
helper: clear
*
sym in e
x
pr
_
to_chunk_h
e
lper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-11
Dan Ca
r
penter
i
mpl
i
ed: small
s
peed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-11
D
an Car
p
enter
imp
l
ied: mark some func
t
ion
parameters
as co
n
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-11
Dan Carpenter
local_values:
s
peed up, by ignor
i
ng array values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-11
Dan Carpent
e
r
ma
t
h
:
h
a
ndl
e
st
r
l
en() of
k
n
own str
i
n
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-11
Dan Ca
r
pe
n
ter
user_data2: fix crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-10
Dan Carpenter
math: move
t
o u
s
ing
r
l_binop for XOR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-05
Dan C
a
rpenter
extra: modifications i
n
s
i
de
WARN_ON() macros should
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-05
Dan Carp
e
nter
bufsize,strlen: move strcpy(),str
l
cpy() and str
l
c
a
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-05
Da
n
Carpente
r
dou
b
le_che
c
k
i
ng: disabl
e
some false posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-05
D
an Carpenter
double_
c
hecki
n
g
: remove debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-05
Dan Carpent
e
r
r
a
nges: make rl_binop() handl
e
XO
R
o
p
e
r
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-05
Dan Carpenter
che
c
k_dere
f
: ig
n
o
re static variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-05
Dan Carpenter
d
b
/reload_partial: delete old da
t
a correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-05
Dan Carpenter
db/fix
u
p_ke
r
nel
.
sh: an
n
otate sysfs functions a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-11-05
Dan Carpenter
db/fixup_kern
e
l
.
sh: ign
o
re most __v
f
s_read() callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-10-30
Dan Carpenter
ranges: be more
flexible about di
v
i
d
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-10-30
Dan Ca
r
penter
u
s
e
r_data2:
tight
e
n u
s
er data ran
g
e l
i
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-10-23
Dan Car
p
e
n
t
er
extra: fix a
t
yp
e
issue
han
d
li
n
g co
m
parisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-10-23
Dan Carp
e
nter
extr
a
: f
i
x a memo
r
y
l
e
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-10-09
Dan Carpenter
math
:
handle binop integer ove
r
flows
m
o
re strictly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-10-09
Dan C
a
rpenter
er
r
_ptr_d
e
r
ef: compla
i
n about ERR_
P
TR(ENOME
M
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-10-02
Dan Carpenter
buf_si
z
e: bug calculating pointer math with &foo[4
]
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-09-30
Dan Carpenter
helper: remo
v
e
duplicate implementati
o
ns of
e
xpr_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-22
D
a
n
Carpenter
buf_size: don'
t
store bo
g
us inf
o
rmation
i
n
the da
t
aba
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-22
Dan
C
arpenter
strlen: snpri
n
tf() c
a
n determine the strlen
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-22
Dan Carpenter
b
u
f_
s
i
ze
:
arrays cannot be
re-assigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-21
Dan C
a
rpent
e
r
user_dat
a
: update ks
t
r
o
toXX() f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
Dan Carpe
n
ter
state
s
:
remove an unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
D
an Carpen
t
er
d
o
uble_checking: avoid more false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
Dan Carp
e
nter
double_checking:
s
i
lence false po
s
itives cau
s
ed by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
Da
n
Carp
e
nter
dou
b
l
e
_chec
k
ing: allow if (foo) {
.
.
.
} else if
(
!f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
D
a
n Ca
r
penter
zero_to_err_ptr: calling
P
TR
_
ERR(NULL
)
i
s a
p
robably
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-20
Dan Ca
r
p
enter
sm
d
b
.
py: update lis
t
of ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-19
D
a
n
C
arpenter
che
c
k_kern
e
l: regi
s
te
r
th
i
s later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-19
D
an Carpent
e
r
check_d
m
a
_mapping
_
er
r
or: The dma_mapping_
e
rr
o
r
(
)
functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-19
Dan Ca
r
pen
t
er
buf_comparison: spli
t
the c
o
de up and move
it around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-18
Dan Carpenter
e
x
tra, db: d
o
n
't use PA
R
AM_
V
ALU
E
f
or
r
et
u
rn states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan
C
arpente
r
b
uf_size: ad
d
kmap() and g
e
t_ze
r
oed
_
page()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
buf_si
z
e,
strlen: don't u
s
e strlen() to determine the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carp
e
nter
s
t
r
l
en
:
cleanup in
g
et
_
implie
d
_strl
e
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-17
Da
n
Carpenter
buf_size, s
t
rlen: move strle
n
()
h
andling to s
m
a
t
ch_s
t
rlen
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
e
xtra: track array values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
Dan Ca
r
p
enter
store
d
_conditons
:
store the chunk as well a
s
the var_sym_list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-15
D
an C
a
rpent
e
r
ra
n
ge
s
:
a
d
d a missing ca
s
t i
n
a
d
d_range_t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-14
Dan Carpenter
validation: don't use uninitialized data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next