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
math: handle offset calculation better
2017-08-10
Dan Carpenter
math
:
handle offse
t
calc
u
lati
o
n
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-03
D
an Carpenter
cond
i
tio
n
s: intro
d
uce get_co
n
ditions()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-03
D
an Carpenter
c
o
mparison: f
i
x match_in
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-03
Da
n
Carpent
e
r
comp
a
rison:
f
i
x me
r
ge_comparison
(
) for
&undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-03
D
an Carpenter
extra: do
n
't call crea
t
e new states for unknown values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-01
Dan Carpente
r
db/kernel
.
return_fixes: add a couple
to_err
n
o() func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-07-28
D
an Carp
e
nter
f
reeing_de
v
m: passing de
v
m
_
a
llocate
d
memory to k
f
ree
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-07-28
Dan Carpenter
ker
n
e
l_printf: a
d
d support for %pOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-07-25
Dan
Carpenter
d
b: don
'
t
s
plit NULL/non-NULL r
e
turns
f
or
r
eason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
D
an Carpenter
db:
f
i
x som
e
uninitiali
z
ed variable bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
D
an
C
arpenter
flow: st
o
re
_
_ne
x
t/cu
r
/prev_stmt befo
r
e parsing inline
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan C
a
rpenter
flow: cleanup state backup for inli
n
e
functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Carpenter
m
a
th: tweak h
o
w imposs
i
b
le states are
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Carpenter
ranges: make sval_
t
oo_b
i
g() more ac
c
ur
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Carpenter
ker
n
el: ERR
_
PTR() basically only returns negatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan
C
arpente
r
extra: don'
t
overwrite
t
he impl
i
c
ations fo
r
us
e
l
e
ss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-19
Dan C
a
rpenter
db:
fix a
type i
s
sue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-18
Dan Carpenter
type_val: cast
assignments to t
h
e correct type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpenter
helper: fix get_member_
n
ame() ha
n
dling of
u
nions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
D
an Ca
r
penter
r
e
t
urn_to
_
param:
long to
shor
t
should never r
e
t
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpen
t
er
slist:
r
eve
r
s
e the slist
order in a way
t
hat n
o
on
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
extra: make
s
e
t_
e
xtra_
m
o
d_helper(
)
vo
i
d a
n
d st
a
tic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
extra: make set_extra_mo
d
() a void fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan
Carpen
t
er
ex
t
ra: make set
_
extra_e
x
pr_mod() a void function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan
C
a
rpen
t
er
g
e
neric
_
data: fix up some pr
o
ject
r
elated things for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
smdb
.
py:
f
ix
s
umma
r
y (it was totally broken before)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan
C
arpenter
links
,
v
ar
_
sym: allocate fewer states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan C
a
rpenter
modifi
c
ation_hooks:
d
on
'
t save so
m
u
c
h
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan
Carpenter
return_to
_
par
a
m: don't modify me
m
ory on the
s
tack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
D
a
n
Carpenter
extra: hand
l
e
i
nteg
e
r overflows be
t
t
e
r for "int_foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n Ca
r
pen
t
er
bu
i
ld_generic_data
:
s
e
veral
i
mproveme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carp
e
nter
test_generic
.
sh
:
like tes
t
_ke
r
nel
.
sh but for
g
eneric
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
generic_data: ren
a
me to match
b
uil
d
_ke
r
nel_dat
a
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan C
a
rpenter
generic_info: allow people t
o
build a sp
e
cific dir
e
ctory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
unreachable: don't comp
l
ain abou
t
st
a
tic declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan
Car
p
e
nter
index_overflow: silence so
m
e glibc false positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
an Carpenter
pr
o
ject: create a way to generate
s
match_data for a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan
Carpenter
core:
improve F
u
nction too hairy calcul
a
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpenter
helper: don't
c
r
a
sh so
m
u
c
h
on invali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
compar
i
so
n
: fix some memory lea
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carpenter
db/build_ea
r
ly_
i
nd
e
x: build another index on pa
r
ameter_name
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
C
arpenter
db/ker
n
e
l
.
ret
u
rn_fixes:
a
t
o
m
i
c_re
a
d
() ret
u
rns the va
l
ue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
debug
.
c: add
s
ome new (not very
useful)
f
eatur
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
r
p
e
nter
buf_comparison:
fix build and
add ma
k
e new code fun
c
ti
o
nal
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpenter
free: fix bui
l
d
error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
err_ptr_deref: make
err
_
ptr_min
/
max stat
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
C
arpenter
fre
e
: don't complain when peop
l
e do frob(&freed_var
i
able)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpente
r
kerne
l
_printf: fix %p
G
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nter
logi
c
al_instead_of_bi
t
wise: silence
s
o
me
false positi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
unused
_
ret:
m
ake warn
i
ng messa
g
es cons
i
stent with ev
e
ryo
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
u
ser_data2: tag a
l
l union memb
e
rs
a
s untrusted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
r
penter
user_da
t
a2: if users
can only s
p
ecify a single value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carpenter
ex
t
ra: use
long to short mappings for PARAM_LIMIT and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carp
e
nte
r
user_data2: handle "if
(untr
u
sted != trus
t
ed) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comp
a
rison: clear
array <-> size links better on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison:
r
e
c
ord i
f
we pas
s
an
A
RRAY_SIZE to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
n
t
er
return_to_
p
aram (mappings): map reg
u
lar assig
n
me
n
ts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan
C
arpenter
u
se
r
_d
a
ta2: handle inli
n
es better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan
C
arpen
t
er
m
a
t
h
: pr
e
fer r
e
al absolutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n Carpent
e
r
modi
f
ication_h
o
oks:
use lo
n
g
t
o short
m
appings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpent
e
r
re
t
urn_to_param: handle "re
t
u
rn get_foo(bar);"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
expr
e
ssion: fix exp
r
_get_parent_st
m
t(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
functi
o
n
_hooks: only add c
o
mpa
r
i
s
o
ns when neede
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
an C
a
rpe
n
t
e
r
flo
w
: fix some
p
ar
e
nt trans
i
tion
f
al
l
out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Ca
r
penter
flow:
s
et parent stat
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpent
e
r
core: add ex
p
r_get/
s
et
_
parent_stmt() accesso
r
functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
an Carpenter
flow: create an acces
s
o
r me
t
h
o
d
expr
_
get_parent_ex
p
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
f
low: renam
e
se
t
_p
a
r
e
nt_stmt() =>
stmt
_
set
_
pa
r
e
nt_stmt(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
arpe
n
t
er
flow: rename s
e
t_pa
r
en
t
_expr() => expr_set_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Dan
Carpenter
return_t
o
_
p
aram: Use t
h
e
DB
r
etu
r
n
strings like "[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpen
t
er
smdb
.
py: translate more para
m
et
e
r na
m
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan
C
a
rpenter
smd
b
.
py: guess the
p
aramet
e
r name
s
even if the f
i
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb: don't crash if
t
h
e parameter names are
n
't known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
f
l
ow: f
i
x
fake env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
D
a
n Carpenter
balanced: delete th
i
s check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan
C
a
rpen
t
er
flow: add in
i
t_fake_env()/
e
nd_fake_env()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
stored
_
conditions: stor
e
as expres
s
ion
p
ointers
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpen
t
er
flow,
d
b:
f
ix how inli
n
e fu
n
c
tion assign
m
e
nts are hand
l
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Car
p
e
nter
fl
o
w
: remove so
m
e bugg
y
unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
rpe
n
ter
f
l
ow: fi
x
initia
l
ization of nested stru
c
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
d
b: bu
i
l
d an index on the
parameter
names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
rpenter
math: improve MOD handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
parameter_names:
s
t
ore parameter names in the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
sm
d
b
.
py: reformat
c
all_info
outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
pente
r
M
a
kefile:
use
quiet
l
ink to
l
in
k
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
n
t
er
states: fix h
a
ndling switches ins
i
de cond
i
tions (fake_cur_stree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n
C
arpen
t
er
st
a
tes: spl
i
t
u
p
d
a
t
e_fake_stree_with_me
r
ged() and add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
t
y
pe_val: smal
l
tweak for ar
r
ay
s
and complicated lvalues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n
Carpenter
e
x
t
ra: handl
e
i
n
direction like "p =
&foo; *
p
= 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
extr
a
: hand
l
e
M
O
D conditions like "if (a % 4) {" bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
D
a
n Carpenter
modificati
o
n_hook
s
: remov
e
unused indirect modificati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpenter
v
alidati
o
n/skb3
:
delete
so
m
e accidental debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Car
p
ente
r
user_data2: don't set parameters
to user
_
d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan
Carpen
t
er
u
ser_data2:
h
andle sk
b
-
>
d
ata m
a
th
a little better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n C
a
rpen
t
e
r
user_data2: re-work
h
andling of skb->da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arp
e
nter
parse_c
a
ll
_
m
a
th: w
o
rk around for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
leaks: d
o
n't complai
n
if w
e
overwrite NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an C
a
rpenter
fre
e
:
i
gnor
e
impossible code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
shift_to_zer
o
: make
t
he
e
rror
m
es
s
age more informat
i
ve
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
test_bit: a
d
d
test_an
d
_
clear_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next