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
db/fixup_kernel.sh: hack handling of _parse_integer()
2017-08-15
Dan Carpenter
d
b
/
f
ixup_kernel
.
sh
:
hack
han
d
li
n
g of _parse_i
n
te
g
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-15
Dan Carpen
t
e
r
db
/
fixup_kernel
.
sh:
ignore more
__
v
fs_read/write()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-15
D
an Carpen
t
er
gen
_
sizeof_param
.
sh
:
s
ave the return type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-15
D
a
n C
a
rpenter
kernel
.
sizeof_param
.
remove: i
g
nore s
k
b_p
u
ll()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-15
Dan Carpenter
smatch_da
t
a
:
fix pa
r
sing of
<
pro
j
ect>
.
s
i
z
e
of_
p
a
r
am
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-15
Dan
C
ar
p
en
t
er
e
x
t
r
a: do more
simpl
e
algebra
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-15
Da
n
C
arpent
e
r
math: fix handling of
"(
c
h
a
r *
)
&foo->bar - (cha
r
*
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-15
Dan Carpent
e
r
s
m
atch_da
t
a: a
c
quire_gro
u
p() doesn't return NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-15
D
a
n C
a
r
penter
s
igne
d
_
int
e
g
e
r_overflow_check: if
(foo
+ bar
< foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-10
Dan
Carpente
r
extra: don't sa
v
e
un
n
eeded states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-10
Dan Carpen
t
e
r
math: let user_data hand
l
e b
i
nops if it wants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-10
Dan Carpent
e
r
math:
handle this (<too comp
l
icated m
a
th>
&
0xff)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-10
Dan Carpenter
math: use comparison
s
to hand
l
e
s
ubtraction better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-10
Dan Car
p
enter
m
a
th: handle off
s
et calculation better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-03
Dan Carpenter
c
o
nditions: introduce get_conditions()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-03
Dan Carpenter
compa
r
i
son:
f
ix m
a
t
c
h_inc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-03
Dan Car
p
enter
c
omparison: fix merge_comparison() for &undefi
n
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-03
Dan
Carpenter
ext
r
a: don't
c
a
ll c
r
eate new states
for un
k
nown values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-08-01
D
a
n C
a
rpent
e
r
db/kernel
.
r
etu
r
n_fixes: a
d
d a
c
o
uple to_errno() functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-07-28
D
a
n Car
p
ente
r
fre
e
ing_d
e
vm: pa
s
sing
devm_ alloc
a
te
d
m
e
mory to kfree
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-07-28
D
a
n
Car
p
ente
r
kernel_pri
n
tf: a
d
d support f
o
r
%
pO
F
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-07-25
Dan Car
p
enter
db: don
'
t
split NULL/non-
N
ULL ret
u
rns f
o
r
reas
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-06-15
Colin Ian
King
smatch_links
.
c: fix spelling mistak
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
D
a
n Carpenter
db
:
fix some
u
ninitialized va
r
iable bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Carpenter
flow:
store __nex
t
/cur/pre
v
_s
t
m
t be
f
ore parsing inlin
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Carpente
r
f
low: cleanup state back
u
p f
o
r inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
D
a
n C
a
rpe
n
ter
m
at
h
: tweak how impos
s
ible
states are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Carpente
r
rang
e
s: make sval
_
t
o
o_big()
more accurate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Ca
r
penter
kernel: ERR_PTR() basically on
l
y returns negatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-23
Dan Car
p
e
n
ter
extra: don'
t
overwrite th
e
i
m
p
lications for useless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-19
Dan Carpenter
d
b: fix a type issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-18
Dan Carpenter
typ
e
_val:
c
a
s
t
assignments
t
o the correct t
y
p
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Sa
m
i Kerola
Makefile: re
m
ov
e
SM
A
T
C
H
_DAT
A
smatch_data/kernel
.
balan
c
ed_fun
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpent
e
r
helper: f
i
x get_member_name(
)
handling
o
f unions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpenter
return
_
to_p
a
ram: lo
n
g
to short should never return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-17
Dan Carpe
n
ter
slist: r
e
verse the slist order in
a
w
ay that
n
o one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Da
n
Carpenter
extra: m
a
ke set_extra_mod_he
l
per() v
o
id and st
a
tic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
extra: m
a
k
e set
_
extra_mod()
a void functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpente
r
extra: make set_extra_expr_m
o
d()
a
void function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carp
e
n
t
er
generic_data: fix up so
m
e project related thin
g
s
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
smdb
.
py:
f
ix sum
m
ar
y
(it was totally broken be
f
ore)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Da
n
Carpenter
links, var
_
sym: all
o
cate fewer sta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan Carpent
e
r
m
o
dification_
h
ooks
:
don't s
a
ve
s
o
much dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Da
n
Carpen
t
er
r
e
turn_to_para
m
:
d
on't mod
i
fy memory on
t
h
e
stack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan Carpenter
extr
a
: handle
integer overflows better for "
i
nt_f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carp
e
n
t
er
build_ge
n
eri
c
_data:
several imp
r
ove
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
test_generic
.
s
h: li
k
e test_kernel
.
sh b
u
t for g
e
neric
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
an Carpenter
generic_data:
rename
t
o match build_kern
e
l_data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
g
eneric_inf
o
: allow people to bui
l
d a specific directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
unr
e
achable
:
don't compl
a
i
n
about static de
c
larations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Ca
r
p
e
n
ter
index_over
f
low: silence
s
ome glibc fals
e
positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Car
p
enter
project: create
a
w
ay to gener
a
te smatch_data for
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan
C
a
rpe
n
ter
core: improve Function to
o
hairy calculat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
e
r
helper
:
d
o
n't cra
s
h s
o
muc
h
on inva
l
id
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
r
pente
r
c
o
mpari
s
on
:
fix some memory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/b
u
il
d
_early_index: build another index on param
e
t
e
r_na
m
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
db/kernel
.
r
e
t
u
rn_fixe
s
: ato
m
ic_read() returns
t
he value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
debug
.
c: add some ne
w
(not ve
r
y usef
u
l) feature
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
buf_com
p
ariso
n
: fix build
a
nd
a
dd mak
e
new code functional
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Ca
r
pen
t
er
free: fix build error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
e
rr_ptr_
d
e
r
ef: make e
r
r_ptr_
m
i
n
/
m
ax static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
f
r
ee
:
d
o
n't complain wh
e
n p
e
ople do
frob(&
f
reed_variable)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
kernel_printf: fix %pG te
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpenter
logical_in
s
tead_of_bitwise: sile
n
ce some
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
unused_ret: make
w
arning messa
g
es co
n
sistent with
everyone
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpente
r
user_data2: tag all union members as untrusted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
C
a
rpen
t
er
use
r
_da
t
a2: i
f
users c
a
n only specif
y
a single
value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
extra: use l
o
ng to short mappings for
PA
R
AM_LIMIT and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nter
user_data2: handle "if (untrusted !
=
trusted) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpenter
buf_comparison: clear array
<
-> s
i
ze
l
ink
s
better on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
b
u
f_comparison:
r
ecord if we pass an ARRAY_S
I
ZE
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
return_to_param (mapping
s
): map reg
u
lar assi
g
nments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpen
t
er
user
_
dat
a
2: handle inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
math: pr
e
fer real absolut
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan
Carpe
n
t
er
modification_hooks: use long to
s
hort ma
p
p
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
rpenter
return
_
to
_
pa
r
am: handle "retur
n
get
_
foo(bar);"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Ca
r
penter
expr
e
ssion: fix expr_get_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan C
a
rpenter
function_hooks: only add comparisons whe
n
n
eeded
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
arpenter
f
l
ow: fix so
m
e
parent
t
ransition f
a
l
l
ou
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: set parent s
t
ateme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carp
e
n
te
r
core: add
e
xpr_get/
s
et_pare
n
t_st
m
t
() accessor functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: create
a
n accesso
r
method exp
r
_g
e
t_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
f
l
ow: rename set_parent_stmt(
)
=> stmt_se
t
_parent_
s
tmt(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: rename set_paren
t
_expr() => e
x
pr_set_pa
r
e
nt_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpenter
r
e
t
ur
n
_to_param: Use the DB ret
u
rn st
r
in
g
s lik
e
"
[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
D
an Carp
e
nter
smdb
.
p
y
: t
r
anslate m
o
re parameter
n
ames
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb
.
py
:
gue
s
s th
e
parameter nam
e
s ev
e
n if the file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpen
t
er
smdb: don't
c
rash if the
paramet
e
r names aren'
t
known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Car
p
ente
r
flow: fix
fake e
n
v
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan
C
arpenter
bala
n
ced: d
e
lete thi
s
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpen
t
e
r
f
low: add init_fake_env
(
)
/
en
d
_fake_
e
nv
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
stored_condi
t
ions: store as
expression poi
n
te
r
s
i
nstead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
flo
w
, db: fix h
o
w inline fun
c
tion assignments are
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow:
r
emove some bu
g
gy unused
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpente
r
flow: fix initialization of
nested s
t
ructs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n
Carpenter
d
b
:
build an index on the pa
r
ameter na
m
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
math: i
m
prove MOD handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry M
o
nakhov
test_
k
ernel
.
sh: add conf
i
g
o
ptions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
m
it
r
y Mona
k
ho
v
Makefile: Instal
l
scripts to /usr/sha
r
e/smatch/smatch_s
c
ripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitr
y
Monakhov
Makefile: ma
k
e i
n
stall prefix co
n
figur
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next