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
fixup_kernel: kmalloc() can allocate more data. Let's say 4MB.
2015-04-27
Dan Carpente
r
f
i
xup_
k
ernel: kmalloc() can al
l
ocate more data
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
smatch_address: sort
p
ointers int
o
diff
e
rent
r
ang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
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
Dan Ca
r
p
enter
s
m
atch
.
h: add the c
o
m
par
i
son hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carp
e
n
ter
t
yp
e
_to_s
t
r: fix a cr
a
shing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carp
e
nter
ign
o
re_side_e
f
fects: get_child_rcu() double evalu
a
tes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
implied: use
comparis
o
n
i
nformation
f
or implicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
a
n Car
p
enter
smatc
h
.
h
:
move stree_sta
c
k declaration from smatch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
r
osenberg: ad
d
__
b
uil
t
in_memset/memcpy(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpen
t
er
user_data2: handle returned
s
t
r
uct
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an
Carpe
n
ter
comparison: up
d
ate a
c
o
m
me
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpen
t
er
smdb
.
py: update to reflect LIMIT/FILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpente
r
unwind:
a
dd some n
u
ll checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
type: incl
u
de s
m
atch_s
l
i
s
t
.
h to prevent a se
g
fa
u
lt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
extra:
d
on't set states to
unk
n
ow
n
at the beginn
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carp
e
nter
extra: don't se
t
true
f
als
e
s
tates
if they are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carpen
t
er
function_hooks: add
a ha
c
k around
i
n compare_db_
r
eturn_state
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
lis
t
: add
a comment
a
bout register_
i
m
plications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
param_l
i
m
i
t: handle
s
t
r
uct me
m
bers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpe
n
t
e
r
states: whit
e
space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
cond
i
t
ions: ignore known/i
m
plied conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
strings:
record
s
tring as
s
ig
n
me
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
struc
t
_
assignment: save a
l
o
t
more i
n
f
o
rm
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
en
t
er
param_li
m
it/filter: fix a t
y
pe bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
er
c
ompar
i
son: hand
l
e canonical for
l
o
o
ps with v
a
riab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
a
rpenter
c
omparison: unsigned
can no
t
be
less th
a
n zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carp
e
nter
fl
o
w: set
__
c
ur_stmt and __prev
_
stm
t
inside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n
Carpenter
comparison
:
merging
eq
u
i
v
ale
n
t states
i
s not und
e
f
i
ned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: fix
a
n
indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpen
t
e
r
function_ho
o
ks: f
i
x up db_compare_callbac
k
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
function_hooks, debug:
p
ri
n
t
impossible return
s
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carp
e
nter
h
elper:
don't stri
p
casting in
g
et_array_offs
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpen
t
er
l
i
n
k
s: e
x
port merge_link_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
h
elper: make ex
p
r_to_str() print forced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
Carpenter
t
y
p
e: make type_to_str() r
e
turn a
sna
m
e
(
) buff
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arp
e
nter
modification_hooks: set
a
var
i
able as modif
i
ed wh
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
user_d
a
ta2: tag it
i
f
a func
t
io
n
sets parameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
r
pent
e
r
stack: cleanup a fu
n
cti
o
n pro
t
otype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
r
penter
d
ere
f
_c
h
ec
k
: ignor
e
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
arpenter
type: make sval_typ
e
_ma
x
() default
to
"
lon
g
long
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type: don't
r
etu
r
n SYM_NODE types from get_r
e
a
l_ba
s
e_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
Carpenter
side_effects:
t
he i
t
e
rate_a
l
l
_kin
d
s() macro has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Car
p
enter
un
r
e
a
chable: don't
complain about iterate_all_
k
i
nds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Car
p
e
n
t
e
r
fl
o
w
:
fix "foo +=
!
bar;" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpenter
lib: handle -f
u
nsig
n
ed-char optio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Da
n
Carpenter
kernel
.
igno
r
e_s
i
d
e
_e
f
fec
t
s: add some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n Carpe
n
ter
indenting:
allow "break; case
X
XX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Carpenter
u
s
er_dat
a
2:
m
ark sscanf() output as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carp
e
nter
m
ath, rl: fix handing d
i
vision invol
v
i
ng negative
n
umbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpente
r
sval: fix sv
a
l_binop_overflows(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Carpenter
prec
e
dence:
c
o
m
plain about "foo << bar
-
ba
z
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
f
low: handle
st
r
uct i
n
itializatio
n
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Ca
r
pen
t
er
estate: add a NULL check
i
n estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
D
a
n
Ca
r
pente
r
para
m
_
u
sed: store whe
n
a parameter is used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n
Ca
r
p
e
nter
extra
:
ignore m
o
re __in_fake_a
s
sign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
compa
r
ison: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpe
n
ter
type: a
d
d an expr_sign
e
d(
)
function tha
t
ma
t
c
h
es expr_unsigned(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
Carpenter
smdb
.
py: add
f
u
n
c
tions to show
f
unctions implementing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
rpenter
ex
t
ra: handle temporary shorthan
d
p
o
inte
r
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
d
er
e
ferences_param: loo
k
for po
i
nt
e
r
s
used a
s
an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check_
i
nde
n
t
ing: warn about missing c
u
rly braces an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_clear
e
d
:
ad
d
a c
o
mment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carp
e
nt
e
r
validation: correc
t
some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpen
t
er
db: bu
i
ld i
n
d
exe
s
faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
slist: fix compile breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kerne
l
_
printf
:
sil
e
n
c
e some fal
s
e positives using
s
match_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
s
t
ring
s
: record which st
r
ing
s
a
r
e b
e
ing used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Carp
e
nt
e
r
user_dat
a
2: turn
o
n
skb->data tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpen
t
er
db: rename F
I
LT
E
R_VALUE, LI
M
ITED_VALU
E
,
and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arp
e
nter
kernel_pr
i
ntf: silenc
e
some "s
t
ruct sockaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpe
n
ter
t
ype: add unions to type_to
_
str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
ty
p
e_value: s
p
eed up lo
a
din
g
the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carp
e
nter
*new
*
ret
u
rn
_
cast: complain
a
bout return -EINVAL
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
format_string
:
del
e
t
e
thi
s
because ch
e
c
k
_
ker
n
el_pri
n
t
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
pente
r
function_hook
s
:
add s
o
me debu
g
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
extra: cleanup db_param_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
extra: separ
a
te PA
R
AM_LI
M
IT and
P
A
RAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
a
rpenter
fu
n
cti
o
n_hooks
:
don't take a
s
h
o
rtc
u
t f
o
r "needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helper: introduce all
o
c_state_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
m
a
th
:
han
d
le
"if (likely
(
1
)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
mat
h
: fix/clea
n
up do_c
o
mpa
r
iso
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
e
r
ca
p
p
ed:
d
on't
r
ecor
d
sin
g
l
e values as capped in t
h
e
.
.
.
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
Da
n
Carpenter
u
s
er_data2:
wrong paramete
r
tag
g
ed
a
s user da
t
a
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
rosenberg: delete some c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpen
t
er
rosenber
g
:
stri
p
aw
a
y
some casting (elimina
t
es a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rose
n
b
e
rg: d
o
n't
save unneeded states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
arp
e
nter
buf_size:
d
on'
t
save useles
s
inform
a
tion in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
struct_a
s
s
i
gnmen
t
: ignore more fa
k
e
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
slist: fix d
e
bugging
o
u
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_cleared, rosenberg: add underscored m
e
mset/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpen
t
e
r
param
_
filt
e
r/set:
d
on't record fake a
s
sign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
C
a
r
p
e
nter
slist, debugging: don't
print ->possible list
if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
type_val: a
d
d more stuff
to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpe
n
ter
d
b
/
r
e
l
o
a
d
_partial
.
sh:
c
h
a
nge
data
b
ase info
for on
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan C
a
rpenter
kernel_p
r
intf: put lots of single quote
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n
Carpenter
Merg
e
branch
'
devel3
'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
a
rpe
n
ter
che
c
k
_
k
e
r
nel_pr
i
n
t
f
.
c:
S
implify recursive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpenter
kerne
l
_printf: a
l
low '
\
b'
if it'
s
t
h
e first character
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
validation/sm_rosenberg
.
c:
don't pass an uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next