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
D
an
C
arpent
e
r
f
ixup
_
kernel:
kmalloc(
)
ca
n
allocate more data
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg D
r
okin
ch
e
ck_lo
c
kin
g
.
c: Fix ann
o
ying invisible
r
e
a
d_unlock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpe
n
ter
smatch_addre
s
s: sort po
i
nte
r
s
i
nto d
i
f
f
e
r
e
nt ra
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n Ca
r
penter
extra:
r
emove some unused function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
D
an C
a
rpe
n
ter
sm
a
tch
.
h: add the comparison hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpent
e
r
type_
t
o_str: fi
x
a crashing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Firo Yang
smatch
.
h: a
d
d e
s
tate_g
e
t_si
n
gle_v
a
lue() declaration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpente
r
i
gnore_
s
ide_effects: get
_
child_rcu() double evaluates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
im
p
li
e
d: use comparison inform
a
t
ion for implic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpen
t
er
sma
t
c
h
.
h:
move stre
e
_stack declaration from smatch_sli
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carp
e
nter
r
o
se
n
berg:
a
dd __b
u
il
t
in_mems
e
t/m
e
m
c
py()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
en
t
er
user
_
dat
a
2: ha
n
d
l
e returned s
t
r
u
ct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
co
m
p
a
rison: update a commen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
smdb
.
py: u
p
date
t
o ref
l
ect LIMIT/F
I
LTER changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
unw
i
nd: add so
m
e null check
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpe
n
ter
type: inc
l
ude sma
t
c
h_slis
t
.
h to prevent a s
e
gfau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Ca
r
p
e
nter
extra: don't set states to unknown a
t
the beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carpenter
e
x
tra: don't se
t
t
ru
e
fals
e
sta
t
e
s i
f
they are th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Ca
r
pen
t
er
function_hooks:
a
d
d a hack around in compare_db_ret
u
rn_state
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
l
i
s
t
: add a
comment
a
bout regis
t
er_im
p
licat
i
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
ar
p
e
n
te
r
param_limi
t
: handle s
t
ruc
t
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
states: white space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
condi
t
ions
:
ignore
known
/
i
mplied conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
strin
g
s: re
c
ord string
a
s
s
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struct_assignme
n
t: save a
l
ot more info
r
m
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
par
a
m_limit/filter: fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
S
ilv
a
n
Jegen
db:
Avoid derefe
r
e
ncing
n
ull
pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Ca
r
p
enter
comparison
:
h
andle
canoni
c
al for loop
s
with variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Carpente
r
comp
a
rison
:
unsig
n
e
d
can n
o
t be
l
ess
t
h
an zer
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
ent
e
r
flow: set __cur_stmt and
_
_prev
_
stmt ins
i
de for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpenter
comparison:
me
r
gi
n
g equivale
n
t stat
e
s is not undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpenter
comparis
o
n
:
fix an indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
funct
i
on_hoo
k
s:
f
ix
u
p db_compare_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an C
a
rpente
r
f
u
n
ct
i
on_hooks, debug:
p
rint impos
s
ib
l
e returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
helper: don't s
t
rip cas
t
i
n
g in
g
e
t_array_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
lin
k
s
: export merge_li
n
k
_
states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
helper: make e
x
p
r
_t
o
_
s
tr
(
) print forced cast
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpe
n
ter
type: make type_to_s
t
r() return a sname() buffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an C
a
rpenter
modificatio
n
_h
o
oks:
set a variable as modified whe
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an C
a
rpenter
user_
d
a
t
a2: t
a
g
i
t
if a functio
n
s
et
s
parameters to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
stack: cl
e
anu
p
a function prot
o
type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpen
t
er
deref_check: ignore arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Ca
r
penter
ty
p
e: make sval_type_m
a
x() default to "lon
g
long"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
ty
p
e:
don't r
e
t
u
rn SYM_NODE
t
y
pes from get_real_base_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan
Carpenter
s
i
de_
e
ffects: t
h
e
itera
t
e
_
a
ll_kind
s
() macro has s
i
de
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreacha
b
l
e
: don't complain
abo
u
t iterate_all_k
i
nds
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan C
a
rpenter
f
low: fix "
f
oo += !ba
r
;" ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan
C
a
rpent
e
r
l
ib: handle -funsigned-ch
a
r
option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carp
e
nt
e
r
ke
r
nel
.
i
gnore_side_effec
t
s: a
d
d some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Da
n
Ca
r
penter
inde
n
ting: a
l
low "break; case XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpente
r
u
ser_data2:
ma
r
k
s
s
canf() output as us
e
r d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Ca
r
p
e
nter
math, rl: fix handing division involving n
e
gative numbe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
sval: fix sval_binop_overf
l
o
ws
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Carpen
t
er
prec
e
denc
e
: complain
ab
o
u
t "foo << bar - b
a
z"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpen
t
er
flow:
h
andle struct init
i
ali
z
ati
o
n better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpen
t
er
estate:
a
dd a NULL c
h
e
ck in
e
sta
t
es_equiv()
commit
|
commitdiff
|
tree
2015-03-03
D
an Carpenter
p
a
r
a
m_used: store when a para
m
eter is used
s
o
w
e do
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
an
Car
p
enter
ex
t
ra: ignore m
o
re __in_fake_assign data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
comp
a
riso
n
:
f
ix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpent
e
r
type
:
add
a
n
expr_signed()
f
u
n
c
t
i
on
th
a
t matches expr_unsigned
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
rpenter
smdb
.
py:
a
dd f
u
nctions to s
h
ow functi
o
n
s
implem
e
nting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
C
arpe
n
t
er
extra:
handle temporary shorthand po
i
nters be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
de
r
e
f
erences_param: look for pointers used as
a
n arra
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check_indenting: w
a
rn ab
o
u
t
m
issing curly braces and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpente
r
p
aram_cleared: add a comme
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan C
a
rpenter
va
l
ida
t
ion: corr
e
ct
s
ome output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Ko
s
kinen
build: allow use of PKG
_
CONFIG to over
r
ide
p
k
g
-
co
n
f
ig
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
nte
r
db:
b
u
i
ld
i
nd
e
xes faste
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carpenter
sl
i
st: fix co
m
pile
br
e
aka
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kernel_printf:
silence some false posi
t
ives using smatch_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Carpent
e
r
strings: record which
strings ar
e
being used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
user_data2: turn on skb->data t
a
gging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carp
e
n
ter
db: rename
F
ILTE
R
_VALUE, LI
M
IT
E
D_VALU
E
, a
n
d ADDED_VA
L
U
E
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpenter
kernel_printf: silenc
e
some
"struc
t
sockaddr
" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
type
:
add unions to
t
y
pe_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
type_va
l
ue: speed u
p
loading the d
a
tab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Ca
r
penter
*new* retu
r
n_cast:
c
ompla
i
n about return -EI
N
VAL in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
form
a
t_string:
d
elete
t
h
is because chec
k
_kernel_pr
i
n
t
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
r
pente
r
function_ho
o
ks: add
s
om
e
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
extra
:
clean
u
p d
b
_
p
ara
m
_add_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Carpenter
extra: sepa
r
ate
P
ARA
M
_LIMIT and PARAM_
F
ILTE
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_
h
ook
s
:
d
o
n
't tak
e
a shortcut for "needl
e
ss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
h
elper: introduce
a
lloc_s
t
a
te_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: handle "if (likely(1)
)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
mat
h
: fix/cleanup do_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
capped: don't record
single
values as capped in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
d
b: expor
t
get_sta
t
ic_filt
e
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_data2: wrong
p
a
r
a
meter tagged as us
e
r dat
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpent
e
r
rosenber
g
: delete
some code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpen
t
er
rosenberg
:
st
r
ip a
w
ay
some casting
(
eliminat
e
s a false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
pent
e
r
ros
e
n
b
erg: don't
save un
n
eed
e
d states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
b
uf_si
z
e: don't save us
e
l
e
ss information in the d
a
t
a
ba
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpente
r
struct_
a
s
s
ignment: ignore more fake a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
slist
:
fix
d
ebug
g
ing out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
nt
e
r
param_cle
a
red, rosenberg: add underscored m
e
mset/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpe
n
ter
param_filter/
s
et: do
n
'
t
rec
o
r
d fa
k
e
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
e
n
ter
sli
s
t
,
debug
g
ing: don'
t
print ->possibl
e
list if there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
type_val: ad
d
mor
e
stuff to ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
db/reload_partial
.
sh:
c
hang
e
dat
a
b
ase in
f
o for o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Sil
v
a
n
Jegen
D
o
cumentati
o
n
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next