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
flow: ignore parenthesis in prev_expression_is_getting_address()
2015-05-22
Dan Carpenter
f
l
ow: ign
o
re parenthesis in prev_expression_is_g
e
t
t
i
n
g_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan
C
a
rpenter
unreachable: ignore netde
v
_for_each_lower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Da
n
Carp
e
nter
fl
o
w
: cl
e
anup pr
e
v_exp
r
ession_is_gett
i
ng_addre
s
s()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carp
e
nter
flow: "&f
o
o
-
>
b
a
r
"
i
s
not a
dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
D
an
Carpenter
smatch
_
a
d
dress: separa
t
e things out into
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan C
a
rpenter
*new* check_test_b
i
t: che
c
k fo
r
t
e
st_bit(BIT(0), &
f
oo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
D
an Carpenter
type: speed up get_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
t
ype:
i
mprove get_bin
o
p_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpenter
flow:
ad
d
a new
e
xpr->par
e
n
t
struc
t
member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_kernel: har
d
code __spi_
s
ync() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
D
an Carpenter
fi
x
up_ker
n
el: kmalloc() ca
n
allocate more
d
ata
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
c
heck
_
locking
.
c: Fix annoyi
n
g invisible read_
u
n
l
o
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
sma
t
ch_addre
s
s: s
o
rt
p
ointer
s
into different ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan C
a
rpen
t
er
extra: re
m
o
ve some unused
functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Carp
e
n
t
er
smat
c
h
.
h: add
t
h
e
c
omparison hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpenter
type_to_s
t
r
: fi
x
a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
F
i
ro Yang
smatch
.
h
: add estat
e
_get_s
i
n
g
le_value() dec
l
aration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpenter
ig
n
ore_sid
e
_ef
f
ects: get_child_r
c
u(
)
d
o
uble evaluates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
a
n Carpenter
implied: use comparison
informat
i
on for implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Da
n
C
a
rpenter
smatch
.
h
:
move str
e
e
_stack declaration
f
rom smatch_s
l
i
st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
D
a
n
C
arpenter
rosenberg: add __b
u
iltin_me
m
set/memcpy
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carp
e
nte
r
user_data2:
handle returned struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
r
p
enter
comparison: updat
e
a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
sm
d
b
.
py: update to reflect LIMIT/FILTER ch
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rpe
n
te
r
unwi
n
d: a
d
d some nul
l
checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
type: i
n
clude sm
a
tch_slist
.
h to preve
n
t a s
e
gfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpe
n
ter
e
xtra: do
n
't set sta
t
es
t
o unkno
w
n at the beg
i
nning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
rp
e
nter
extra: don't set true false states
i
f they are t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carp
e
n
t
er
function_hooks: add a
h
ac
k
a
ro
u
nd in compare_db_r
e
turn_st
a
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Ca
r
penter
list: add a comment a
b
out reg
i
s
te
r
_im
p
l
i
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carpenter
p
a
ram_limi
t
: handle struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
state
s
: white spac
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpent
e
r
c
o
nditions: ignore known/im
p
lied cond
i
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpen
t
er
s
t
rings: record string assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
struct_
a
ssignment
:
save a lot m
o
r
e
i
n
for
m
a
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
par
a
m_lim
i
t/filter: fix a typ
e
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
S
ilvan Jegen
db: Avo
i
d de
r
eferencing
n
ul
l
point
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpenter
c
o
m
pa
r
iso
n
: ha
n
dle
c
anonical for
loops with
v
ar
i
able
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparis
o
n: unsigned can
n
ot be less than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carpent
e
r
flow
:
set __c
u
r_stm
t
and
__prev_st
m
t
inside for
l
oop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpenter
c
o
mparison: merging equivalent states is not undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
ar
p
enter
c
o
mp
a
rison: fix an
inde
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function_hooks: fix up db_compare_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
fun
c
tion_
h
o
oks, debug: p
r
i
nt impossi
b
le retu
r
ns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
penter
helper: d
o
n't strip c
a
sting
i
n get_array_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
l
inks: expo
r
t
me
r
ge_link_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpen
t
er
helper
:
make expr_t
o
_str
(
) p
r
int
for
c
ed c
a
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
type: make type_to_str
(
) return a sname() buffe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
mo
d
if
i
cati
o
n_hooks: set a
varia
b
le
a
s
m
o
dified
wh
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
arpenter
user_data2: tag
i
t
if
a function
s
ets parameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
stack: cleanup a function prot
o
type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
dere
f
_check: ign
o
re arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
a
n
Carpenter
t
ype
:
make s
v
a
l_type_m
a
x
(
) default to
"lon
g
long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
a
n Carpenter
type
:
don't
r
etu
r
n SYM_NODE t
y
pes
f
rom get_
r
eal_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
arp
e
nter
side
_
effects: the it
e
rate_all_kinds(
)
macro has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
D
a
n
C
arp
e
n
t
er
unreachable
:
don't c
o
mplain about iterate_all_kinds(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpe
n
t
er
fl
o
w: fix "
f
oo += !bar;" assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpenter
lib: handle -funsigned-
c
har o
p
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan
C
a
r
penter
ker
n
el
.
ignore_side_e
f
fects: add some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n
C
arpe
n
ter
indenting:
a
llow "br
e
ak; case
XXX
:
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
penter
user_da
t
a
2
: mark sscan
f
()
output as user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
math, rl: fix
handing
div
i
sion inv
o
l
v
ing
n
egat
i
ve n
u
mbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an Ca
r
pe
n
ter
sval: fix sval_binop_ov
e
r
f
l
o
ws()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n C
a
rpente
r
pre
c
ede
n
ce
:
complain
a
bout "foo << bar
-
baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flow: handle
struct initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
e
s
t
a
te:
a
dd a NULL ch
e
ck in esta
t
es_equiv()
commit
|
commitdiff
|
tree
2015-03-03
D
an
C
a
rp
e
nter
p
aram
_
u
s
ed
:
store when
a
parameter is used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an Carpenter
extra:
i
gn
o
re mo
r
e __i
n
_f
a
ke_assig
n
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an Carpent
e
r
compar
i
son: fix
a
crash
i
ng bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
r
penter
type: add an expr_signed()
functi
o
n th
a
t matches expr_unsigned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smd
b
.
py
:
add functio
n
s to show functions implemen
t
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
enter
e
xtra: handl
e
tempora
r
y shor
t
ha
n
d p
o
inters bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpenter
derefe
r
ences_param: look
f
or p
o
inters used as an
a
rray
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
e
n
ter
check_indenting: warn ab
o
ut missing cu
r
ly brac
e
s and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan
Carpenter
par
a
m_
c
leared:
a
dd
a
co
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
arpe
n
ter
vali
d
ation: c
o
rrect some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskinen
build:
a
llow
use of PKG_CO
N
F
I
G
to override
p
k
g-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpen
t
er
db: buil
d
inde
x
es fa
s
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
nt
e
r
s
l
ist: fix
c
o
m
p
ile breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n Carpenter
k
e
rnel_printf: silence some f
a
l
se positives using smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
an Car
p
e
nter
strings: recor
d
whic
h
strings are being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
penter
use
r
_
data
2
:
t
urn
o
n skb->d
a
ta ta
g
ging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpent
e
r
db: rename FILTER_VALUE, LIMITED_VALU
E
, and ADD
E
D_V
A
LUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpent
e
r
kernel_pri
n
tf
:
silence some "
s
tru
c
t soc
k
ad
d
r " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpen
t
er
typ
e
: add unions
t
o
type_to_
s
tr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
type_valu
e
:
speed up loading the
d
at
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan C
a
rpenter
*ne
w
* r
e
t
ur
n
_cast: compl
a
in ab
o
ut
r
e
t
u
r
n
-
EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpen
t
er
f
ormat_string:
delete this
b
e
c
a
use check_ker
n
el_
p
rintf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arp
e
nter
fun
c
tio
n
_ho
o
ks:
add some debug
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Car
p
enter
extr
a
: cleanu
p
db_param_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
extra: sepa
r
ate PARAM
_
LIMIT and PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Ca
r
penter
function
_
hooks:
don'
t
t
a
k
e
a
s
hortc
u
t for "needles
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
helper: in
t
roduce a
l
loc_state_st
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
m
a
th:
handle "if (likely(
1
)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
math: fix/cleanup do_c
o
mparison(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpe
n
ter
capped: d
o
n't
r
ecord single value
s
as
cap
p
e
d
in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpe
n
ter
db: exp
o
rt
get_static_fil
t
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
use
r
_data2: wrong parameter t
a
gged
a
s use
r
data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenber
g
:
d
e
lete some code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rp
e
nte
r
ros
e
n
b
erg: stri
p
aw
a
y
s
ome casting (eli
m
inates a fals
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next