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
generic_data: rename to match build_kernel_data.sh
2017-05-10
Dan Carpenter
ge
n
eric_data: rename
t
o
match b
u
ild_kernel_data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
an Carpenter
generi
c
_info: allow peopl
e
to b
u
ild a spe
c
ific directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan
C
arp
e
nter
unreachab
l
e
: don't
c
omplain about static declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
an C
a
rpenter
index_overflow: silence some g
l
ibc f
a
lse posi
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
projec
t
: cre
a
te a wa
y
to generate smatch_data for a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
core: imp
r
o
v
e Function
t
oo ha
i
ry calculatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
h
elpe
r
:
d
o
n't crash so much on in
v
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
rpen
t
er
co
m
parison: fix
some memory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
d
b
/b
u
ild_earl
y
_index:
b
ui
l
d
another in
d
ex on parameter_name
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pe
n
ter
d
b/kernel
.
retu
r
n_f
i
xes: atomi
c
_read() returns the
va
l
ue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
deb
u
g
.
c: a
d
d some ne
w
(not very usef
u
l) features
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpen
t
e
r
b
u
f
_compari
s
on:
f
ix build
and add make new code fu
n
ctional
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pen
t
er
free
:
f
i
x bu
i
l
d
e
rror
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
err_ptr_de
r
ef: make err_ptr_mi
n
/
max s
t
at
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
fre
e
:
don't complain when people do frob(&
f
reed
_
vari
a
b
l
e)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
k
ernel
_
prin
t
f: fi
x
%pG tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
logic
a
l_in
s
te
a
d
_of_bi
t
wise: silence some false po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
unused
_
ret: make warning m
e
ssages co
n
sistent with
everyone
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
user_data2: tag all union memb
e
rs as un
t
r
usted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
p
e
nter
user_data2
:
if users ca
n
only spe
c
i
fy
a
single value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
extra: use long to short mappings fo
r
PARAM_LIMIT and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
use
r
_data2
:
hand
l
e "if
(
untruste
d
!= trusted) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison
:
c
lear array <
-
> size l
i
nk
s
better on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
b
uf_com
p
aris
o
n:
r
eco
r
d i
f
we pass an ARRAY_SIZE to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
e
nter
return_to_par
a
m
(ma
p
pi
n
gs):
m
a
p
r
eg
u
lar assi
g
nments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carp
e
nter
user
_
da
t
a2: handle inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carp
e
n
t
er
mat
h
: p
r
efer r
e
al abso
l
u
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Ca
r
penter
m
od
i
f
i
cation_hoo
k
s: use long to
short m
a
ppi
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan
C
a
rpe
n
ter
retu
r
n_to_param: handl
e
"return get_foo(bar);"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
ex
p
ress
i
on:
fi
x
expr
_
get_
p
a
rent_stmt(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
function_hooks: only add co
m
parisons when needed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
f
low:
f
ix some pa
r
ent
transition
fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carp
e
n
ter
flo
w
: set
p
a
ren
t
s
tatements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpen
t
e
r
core: add expr_get/set_
p
arent_stmt() acce
s
sor fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
fl
o
w: create an access
o
r
metho
d
ex
p
r_get_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
Carpe
n
ter
flow:
r
ename set_parent
_
stm
t
() => stmt_set_par
e
nt_stmt(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: r
e
name
s
e
t_parent_expr() => ex
p
r_
s
et_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpe
n
ter
retu
r
n_to_pa
r
am: U
s
e
the D
B
return strings like "[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
D
a
n
Carpenter
smdb
.
py:
transl
a
te more pa
r
ameter
n
ames
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan C
a
rpen
t
er
smdb
.
py: guess the parameter names even
if the file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpen
t
er
sm
d
b: don't crash if the para
m
eter names aren't
known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
flow:
f
ix fake env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan C
a
r
pe
n
ter
ba
l
anced: delete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Car
p
enter
fl
o
w:
add init_fake_env()/end_fake_e
n
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
stored_con
d
i
t
ions: store as ex
p
ress
i
on poin
t
ers
i
ns
t
ead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
f
low,
db:
f
ix how inlin
e
f
u
n
c
t
ion assignments are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan
C
arpenter
flow: remove some buggy un
u
sed
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpen
t
er
flow: fix initia
l
izatio
n
of nested struc
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpe
n
ter
d
b:
b
uild a
n
index on the
paramete
r
names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
rpenter
ma
t
h
:
improve MOD h
a
n
d
lin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
an
C
arpenter
parameter_na
m
es: store
parameter names in the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
smdb
.
py: reform
a
t
call
_
i
nfo output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpenter
Make
f
ile: use qui
e
t link to l
i
nk sm
a
tch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpent
e
r
states: fix
h
andling switches ins
i
d
e
co
n
ditions
(
fake_cur_stree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
pe
n
ter
states: sp
l
it
u
pdate_fa
k
e_stree_with_m
e
rged() and add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
type_val: small tweak for ar
r
ays and compl
i
cated
l
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
extra: h
a
n
dle indi
r
ection like "p = &f
o
o; *
p
= 42
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
extra: han
d
le MO
D
conditions l
i
ke "if (a
%
4) {" better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modifi
c
ation_
h
ooks: re
m
ove u
n
used indirect mo
d
if
i
cation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpenter
valid
a
tion/skb
3
: de
l
ete
s
ome ac
c
idental
d
ebug
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Da
n
Carpenter
use
r
_data2:
don't s
e
t parameter
s
to use
r
_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpen
t
er
user_data
2
: h
a
ndl
e
skb->data
m
a
th a little better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2: re-work h
a
ndli
n
g
of
s
kb->data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Carpenter
parse_
c
a
l
l_mat
h
: work around for l
o
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
r
p
e
nter
leaks: don't complain if we overwrite NULL p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
f
r
e
e
: ignor
e
impossible
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an
Carp
e
nt
e
r
shift_to_zero: make the error
me
s
sage more
i
nformative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
t
e
st_bit: add tes
t
_
and_clear_bit
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Car
p
enter
smdb
.
p
y
: p
r
int the return_implies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
db/fixup_kernel
.
sh: i
g
nore
d
o_l
o
op_readv_writev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
extra: set ha
r
d
m
a
x if a fu
n
ction is c
a
lled with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Car
p
ente
r
ex
t
ra: fix handlin
g
of known cond
i
tion
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Car
p
enter
param_l
i
mit: don
'
t set some unchanged li
m
its
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
db: prevent slo
w
d
o
wns spl
i
tting returns apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: se
t
parse_error if the SQL f
a
ils
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpenter
param_set: h
a
ndle if th
e
parent was set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
b
u
f_
s
ize: f
i
x type_byt
e
s(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan
Carpenter
d
b
: filter
p
ointer
c
alls by
f
unction sig
n
at
u
res
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
i
m
pl
i
ed: revert "tiny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpe
n
ter
assign_vs_
c
om
p
are: warn about
"
if
(foo = &bar) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
type: fix type_bits() for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
shift_to_
z
ero
:
do a
sma
l
l cl
e
an
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpen
t
e
r
smatch
.
c: remove a blank
l
in
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
p
e
nter
d
b: split
r
etu
r
n
s
t
ates b
y
null vs n
o
n
-
null parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpe
n
ter
ext
r
a
:
filter PARAM_VA
L
UEs with both
extr
a
and real_
a
b
solute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpe
n
ter
ma
t
h: handle -foo bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
helper: int
r
oduce get
s
truct and
m
e
m
ber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
imp
l
ied: tiny
s
p
eed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
impl
i
e
d
: small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpente
r
ranges: handle bitwise AND operations bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
pente
r
real_absolut
e
: introduce get_re
a
l_absolut
e
_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
avl: a
d
d a
s
hort cut for when the
r
e ar
e
n
o
s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
e
r
type_val:
handle |= type assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
D
a
n
Carpenter
db: rename "function_ty
p
e_info" t
a
ble to "function
_
type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Car
p
en
t
e
r
u
ser_d
a
ta2: if
a
u
ser_data i
s
equal t
o
non
-
u
ser d
a
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
n
t
er
pre-process: try find any include
that looks like it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
co
m
parison: remove some lo
c
al_
d
e
b
ug
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpenter
db/fixup_kernel
.
sh: writ
e
to t
h
e temporary
DB instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
extra: fix type iss
u
e ha
n
dli
n
g ++=
a
nd --= operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
e
nt
e
r
m
a
th: remove unc
o
mmitted fu
n
ction call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next