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
unconstant_macros: add MAP_UNINITIALIZED
2015-07-25
Dan Carpenter
u
nconstant
_
ma
c
ros
:
add
MAP_UNI
N
ITIALIZED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
D
an Carpe
n
ter
ptr
l
ist: reading dele
t
ed
item
s
in
N
EXT_P
T
R_LIST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
ranges: fix
how some ranges
are joine
d
together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Ca
r
penter
r
anges
:
a
v
oid
a
possible integer overflow probl
e
m
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
nte
r
poi
n
te
r
_math
:
A
L
IGN is
not bytes, but offsetof
(
) and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpen
t
er
pointe
r
_math: don't
c
omp
l
ain if a pointe
r
math o
p
e
r
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpenter
p
o
inter_math: silen
c
e fal
s
e a to
n
of false
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carp
e
nter
chun
k
:
im
p
rove exp
r
_
to_ch
u
nk_sym_vs
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
hel
p
e
r
:
improve get
_
complic
a
tion_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Car
p
enter
helpe
r
:
e
xport ge
t
_c
o
mplication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpe
n
ter
t
ype: ex
p
ort
i
s_local_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
D
a
n
C
a
r
penter
chunk:
c
hange the
API a b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
D
an Car
p
e
n
ter
ext
r
a: start tracking "c
h
u
nks" instead
o
f
j
ust variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
math: give u
p
if calculating
a
value is t
o
o
c
omplicate
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan
Carpenter
im
p
lied: turn off debu
g
m
e
s
sag
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Ca
r
p
enter
c
h
eck_list
.
h: move stored_
c
on
d
itio
n
_l
i
nks next
t
o stored_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flow:
ig
n
ore arra
y
s with over a 1000
el
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Da
n
C
a
rpente
r
db/fixup_kernel
.
sh
:
h
a
ck around slow rtlwifi te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpe
n
ter
cappe
d
:
use FOR_EAC
H
_
MY_SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nter
u
s
er_
d
ata
2
: a
d
d
skb_
n
e
twork_hea
d
er
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
user_data2: handle po
i
nters
t
o user data better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
enter
use
r
_data: add kmap_ato
m
ic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user
_
da
t
a: s/kmemdu
p
_
user/
m
emdup_us
e
r/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carp
e
nte
r
test_bit: a
d
d set_bit() and
c
lear_bit()
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
che
c
k_deref: remove cal
l
to getting_address
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
estate: make clone_estate() take a N
U
L
L
p
o
in
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n Carpenter
white
s
pace: change some
s
p
a
ces
to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
debug: ad
d
s
o
me tool
s
for
d
eveloping the db parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
buf_size: improv
e
resiza
b
le s
t
ruct handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpe
n
ter
db: fix a bug in
split ret
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
penter
e
x
tra: i
n
troduce get_extra_sta
t
e(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carp
e
nter
s
mat
c
h:
ch
a
n
ge
al
l
remaining refer
e
nces fr
o
m w
a
rns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Car
p
en
t
er
ker
n
el
.
ignored_macros: add SNIC
_
BUG_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan C
a
rp
e
nte
r
u
n
reachable: ignore list_for_each_entry
_
c
o
n
tinue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpe
n
t
er
extra: handle x = (u8)y
;
corre
c
tl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpenter
imp
l
i
e
d: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
type: handle type
o
f()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
math: handle __sma
t
ch_impli
e
d(&foo->bar) a
little better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
a
s
signed_e
x
pr: store
i
t
late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
f
u
nctio
n
_h
o
o
k
s: fix
vali
d
a
t
ion/sm_compare15
.
c han
d
ling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rpenter
lo
c
k
i
n
g
: ad
d
ne
w
down_timeout() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
penter
smatch
_
address: fix c
o
mpile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpenter
fixup
_
k
ernel
.
sh: ignor
e
s
ome
__vfs_write() cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
enter
fixup
_
kernel
:
updat
e
ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
D
a
n Car
p
enter
debug: im
p
rove __smatch_state
s
()
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carp
e
nte
r
flow: ignore parent
h
esis in p
r
ev_expression_is_g
e
tting_a
d
d
r
ess()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpenter
unreac
h
a
ble: ignore netdev_for
_
ea
c
h_lower_d
e
v(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Da
n
Carpenter
fl
o
w: c
l
eanup prev_ex
p
re
s
sion_is
_
gettin
g
_
address(
)
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpen
t
er
flow:
"
&foo
-
>bar" is
n
o
t a
d
ereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
s
match_address: separate things ou
t
into
.
b
s
s
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Da
n
Carpen
t
er
*
n
ew* c
h
eck_
t
est_bit: check for
t
est_bit(BIT(0), &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan C
a
rpente
r
t
y
p
e
: speed up get_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Car
p
enter
ty
p
e
:
improve g
e
t_binop_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Da
n
Ca
r
pe
n
ter
flow: add a new expr
-
>
p
arent struct member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Da
n
Ca
r
pe
n
ter
fixup_kernel: hard code __s
p
i
_
s
y
nc() return
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fix
u
p_ke
r
nel: kmalloc
(
) can al
l
o
c
ate mor
e
dat
a
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
smatch_ad
d
r
e
ss:
sort pointer
s
into di
f
fer
e
n
t
rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
ex
t
ra: remove some
unused fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carp
e
nter
smatch
.
h: add th
e
comp
a
rison hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpenter
ty
p
e_to_s
t
r: fix a cras
h
ing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan C
a
rp
e
nter
i
g
nor
e
_
si
d
e_ef
f
ec
t
s: get_child_rcu(
)
double e
v
aluates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Car
p
e
nter
imp
l
ied: use compari
s
on information for implicatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
an Carpenter
smatch
.
h: mov
e
stree_stack declaration from smatch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Da
n
Car
p
e
n
ter
rose
n
berg:
add __builtin
_
m
emset/memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
user_d
a
ta2
:
handl
e
returne
d
struct
me
m
ber
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpente
r
comparison: update
a co
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
smdb
.
py: up
d
ate
t
o refle
c
t
LIMIT/
F
ILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
unwin
d
: add some null
checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
type
:
include sm
a
tch_slist
.
h to
p
rev
e
nt a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra: d
o
n't set sta
t
es to
u
nknown at the
b
eg
i
nning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
extra: don'
t
set true false
state
s
if they are
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpent
e
r
function_hooks: add a hac
k
around
i
n c
o
mp
a
re_db_r
e
turn_
s
tat
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
l
ist:
add a comm
e
nt
about
r
egister_implicatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpente
r
param_l
i
mit: handl
e
struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
states: white spac
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
conditi
o
n
s: igno
r
e known/im
p
li
e
d conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carpent
e
r
string
s
: r
e
cord s
t
ri
n
g
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carpenter
struct
_
assignment: save
a
lot more
i
nformation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
par
a
m_limit/filter: fi
x
a
ty
p
e
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: handle can
o
nical f
o
r
loops with variabl
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
c
omparison: unsigned c
a
n n
o
t be les
s
than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpenter
flow: set __cur
_
stmt an
d
__prev_stmt
i
n
side for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
c
omparison: me
r
ging equivalent states is not un
d
efined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Car
p
e
n
te
r
co
m
parison: f
i
x an
i
n
dent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an C
a
rpente
r
function_ho
o
k
s:
f
ix up
d
b_compare_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
C
ar
p
ent
e
r
f
u
nction_hooks, debug: print
i
m
p
ossi
b
le returns if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rp
e
nter
helper:
d
o
n
't s
t
rip
c
a
sting in
g
et_array_offset
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
links: export merge_link_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
h
e
l
per:
m
ake exp
r
_to_str(
)
print forced cas
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
typ
e
: mak
e
type_
t
o_str() return a s
n
a
me(
)
buff
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
mod
i
fication_
h
ooks:
s
et a varia
b
le as modified w
h
en
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
user_data2
:
tag it if a fu
n
ction
s
e
t
s
parame
t
e
r
s to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
arpe
n
ter
stack: cleanup a function prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpente
r
deref_check: ignore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Ca
r
pen
t
er
type: mak
e
sval_ty
p
e_max() def
a
ult to
"
long long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Ca
r
p
ent
e
r
t
y
pe: don't return
SYM_N
O
DE typ
e
s fr
o
m get_rea
l
_
ba
s
e_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan C
a
rpenter
side_effects: the iter
a
te_all
_
kinds() m
a
cro has
s
ide
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreac
h
able: don't com
p
lain about i
t
e
rate_a
l
l_kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpente
r
flow: fix
"
foo
+=
!
ba
r
;"
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan C
a
rpen
t
er
lib: handle -funsigned-
c
h
ar option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next