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
extra: track array values
2015-04-23
Dan Carpenter
extra: remove some un
u
sed functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Da
n
Carpenter
s
m
a
t
ch
.
h: add
the comparison hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpenter
ty
p
e_to_
s
tr: fix
a
crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Firo Y
a
ng
smatch
.
h: add
estate_get_sin
g
l
e_value() d
e
clara
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
D
a
n C
a
rpenter
ignore_side_e
f
f
e
c
ts: ge
t
_child_r
c
u()
d
ouble evaluates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpent
e
r
implied: use comparison
information
for implicat
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Da
n
C
a
r
p
enter
s
match
.
h:
m
ove stree_
s
tack decla
r
atio
n
from smatch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
ro
s
e
nberg: add __
b
u
iltin_m
e
mset
/
memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
user_d
a
ta2: handle re
t
urne
d
str
u
ct me
m
ber
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arp
e
nter
comp
a
rison: upda
t
e a comme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpen
t
er
smd
b
.
py: update t
o
reflect
LIMIT/F
I
LTE
R
c
h
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Ca
r
p
e
nter
unwind: add
s
o
me
n
ull c
h
ecks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carp
e
nter
type
:
in
c
lu
d
e smatc
h
_slist
.
h
to prevent a segfa
u
lt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
pe
n
ter
extr
a
:
don't set sta
t
e
s to unknown at the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
rpenter
extra: don't set
tr
u
e false sta
t
es if they are
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
te
r
fun
c
tion_hooks: add a hack around in
c
ompare_
d
b_return
_
s
ta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
li
s
t: add a comme
n
t
about register_implic
a
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
ar
p
e
nter
para
m
_l
i
mit: handle stru
c
t members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
states:
w
hi
t
e
space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
conditions: i
g
nore k
n
own/implied conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
strings:
r
ecord
string assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struct_assignment: save a
l
ot more information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
e
r
param_l
i
mit/filter: fix a type b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Silv
a
n Jegen
db: Avoid dereferencing null pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpe
n
t
e
r
co
m
pari
s
on: handle canonical for loops with v
a
riable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
er
c
o
m
p
a
rison: unsign
e
d can not
be l
e
ss than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpenter
flow: set __
c
ur_stmt and __
p
r
ev_s
t
mt
i
nside
f
or
l
oo
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
ter
c
omparison: merging
equiva
l
ent stat
e
s is not und
e
fined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Carpenter
compar
i
son: fi
x
an
i
ndent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arp
e
nter
fu
n
ction_hooks: fix u
p
db_
c
om
p
a
r
e_c
a
ll
b
ack
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function_hook
s
,
de
b
ug: prin
t
i
m
possible returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
he
l
per:
d
on't
stri
p
c
a
sting in get_a
r
ray_offse
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpe
n
ter
links: export merge_link_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
helper:
mak
e
exp
r
_to_str() print force
d
casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
type:
m
ake type
_
to_str() return a sname() buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
pe
n
ter
modification_hook
s
: set a v
a
r
iable as modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
user_data2: tag i
t
if
a funct
i
on sets parameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
e
r
stac
k
:
c
leanup
a
function p
r
o
t
ot
y
pe
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
penter
deref
_
ch
e
ck: ignore
a
r
ray
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
arpen
t
er
type: m
a
ke
sv
a
l_t
y
p
e
_
max(
)
default to "long long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
an Ca
r
penter
type: don't return SYM_
N
ODE types from get_real_base_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side_eff
e
cts: the iterate_all_ki
n
d
s() macro has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
D
a
n Carpenter
unrea
c
h
able
:
don't
c
o
mplain about iterate_all_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Da
n
Carpe
n
te
r
fl
o
w: fix
"foo += !ba
r
;" assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpente
r
l
ib: handle
-funsig
n
ed-c
h
a
r
option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Ca
r
p
e
nter
kernel
.
ig
n
or
e
_
s
ide_eff
e
cts: add
some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Ca
r
pen
t
er
ind
e
nt
i
ng: allow
"
br
e
ak; ca
s
e XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rpenter
user_data
2
: mark s
s
c
anf()
o
u
tput as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
math, r
l
: fix ha
n
ding divi
s
ion invo
l
ving negative number
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
sval: fix sv
a
l_binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rp
e
nter
pr
e
cedence:
c
omplain a
b
o
u
t "foo
<<
bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan C
a
rpenter
f
l
o
w:
h
an
d
le struct
i
nitialization be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
estate: add
a
NULL che
c
k in estates_
e
quiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan
C
a
rpe
n
ter
param_u
s
ed: st
o
re
when a parameter
i
s used
s
o we d
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
extra: i
g
nore more
_
_i
n
_fake_assign dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
c
o
mparison: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carp
e
nter
type:
a
dd
an e
x
pr_signed() function that matches expr_unsi
g
ned
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpente
r
sm
d
b
.
py
:
add functions to show function
s
implementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
extra:
ha
n
dle t
e
m
porary shortha
n
d pointe
r
s bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
a
r
penter
d
e
r
e
f
e
rences_param: look for po
i
nters u
s
ed as an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpenter
che
c
k_inde
n
ting: warn
about
m
issing curly b
r
aces an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_clear
e
d: add a comme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
an
Carp
e
nter
validation: correct
some
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
A
a
ro Koskinen
build: allow us
e
o
f
PKG_CO
N
FI
G
to override pkg-co
n
fig
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carpenter
d
b:
b
uild indexes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
slist: fi
x
co
m
p
il
e
b
r
e
akage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
kernel_printf: silence so
m
e false posit
i
ves
u
sing smatch
_
s
tr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
nter
st
r
ings: rec
o
rd which st
r
i
n
g
s are b
e
ing used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carp
e
nter
u
s
e
r_data2: turn on s
k
b->
d
ata t
a
ggi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carp
e
nter
d
b
:
rena
m
e
FILTER_VALUE, LI
M
ITED_
V
ALUE, and
ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpente
r
k
e
rn
e
l_printf: silence
som
e
"struc
t
so
c
kaddr
"
false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
t
y
pe
:
add
u
n
ions to type_to
_
str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n
C
a
r
pente
r
ty
p
e_value: speed
u
p loading the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan
C
arpenter
*new* ret
u
rn_c
a
st
:
c
o
mplain about return -EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
f
ormat_string: delete this b
e
c
a
us
e
che
c
k_kernel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
functi
o
n_
h
oo
k
s:
a
d
d
some debug
ou
t
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
ext
r
a: cleanup db_para
m
_add_set
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
e
x
t
ra:
s
eparat
e
P
A
RAM
_
LIMIT and
PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_hooks: don't take a shortcut f
o
r "need
l
ess
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
helper: introduce alloc_state_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpent
e
r
math
:
h
andle "if (likely(1))
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
math: fi
x
/
c
l
e
anup do_co
m
parison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
capped
:
don't r
e
cord sing
l
e values as capp
e
d in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db: export get_static_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carp
e
nter
u
s
er
_
data2: wrong parameter tag
g
ed as
use
r
data
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg: delete some co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
rosenberg: s
t
rip aw
a
y som
e
casting (e
l
imin
a
tes a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg:
don't
s
ave unnee
d
ed s
t
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rpenter
bu
f
_size:
d
o
n'
t
s
a
ve useles
s
informa
t
io
n
in
t
h
e database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpent
e
r
str
u
ct_ass
i
gnment: igno
r
e more fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
r
p
enter
slist: fix deb
u
gging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_
c
leared, rosenberg: add un
d
ers
c
ored memset
/
c
py
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_fi
l
te
r
/s
e
t
: don't record fa
k
e
assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpenter
sl
i
st, de
b
ugging: d
o
n't pri
n
t ->possible list if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpent
e
r
typ
e
_val: add more stuff to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
db/reload_
p
a
rtial
.
sh: ch
a
nge database info for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan
Jegen
Documentation f
i
xes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
ke
r
nel_p
r
in
t
f: put lots of single quote
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpen
t
er
Merge
b
ranc
h
'devel
3
'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
c
heck_kernel_
p
rintf
.
c: All
o
w c
o
nst char
[
]
f
ormat argu
m
ents
commit
|
commitdiff
|
tree
next