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
pointer_math: silence false a ton of false positives
2015-07-16
Dan Car
p
e
n
ter
pointer_math: silenc
e
false a ton of f
a
lse
po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
D
an Carp
e
nter
chunk
:
improve expr_to_
c
hu
n
k_sym_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan C
a
rpenter
help
e
r: im
p
rove
g
et_compl
i
cation_score
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Car
p
en
t
er
helper: e
x
port get_
c
ompl
i
c
ation_score
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
type: export is
_
local_var
i
able()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan
C
arp
e
nter
chunk:
c
hange the
AP
I
a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
D
an
C
arpenter
ext
r
a: start t
r
acking "chunks" in
s
tead of just variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan Ca
r
penter
math: gi
v
e up if calculating a value is to
o
complic
a
ted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan
C
arpenter
im
p
lied:
turn
off
debug
messages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
check_list
.
h
:
mo
v
e stored_condition_link
s
next to
s
tored
_
c
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan
Carpenter
f
low: ignore arrays w
i
th over a 1000 ele
m
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
D
a
n
C
arpenter
db/fixup_kernel
.
sh: hack arou
n
d slow rtlwifi
t
ests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpe
n
t
er
capped: use
FOR_EACH_M
Y
_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data2: add skb_network_header()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Car
p
enter
user_data2:
h
andl
e
pointers t
o
u
ser
data b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
enter
user_data: add kmap_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
user
_
d
a
ta: s/kmemdup_user/
m
e
m
d
u
p_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpenter
t
est_bit: a
d
d
set_b
i
t() and clear
_
bi
t
(
)
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
check_deref: re
m
ove c
a
l
l
to g
e
tting_ad
d
res
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
an
Carpenter
est
a
te: make clon
e
_estate() take a
NULL p
o
inter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carp
e
nter
whitespac
e
: change
some s
p
aces to tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpente
r
debug:
ad
d
s
ome
tools
f
or developing the db p
a
rser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n
C
a
rpente
r
bu
f
_
s
ize: improve resizab
l
e struct handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Carpenter
db: fix a bug in split re
t
u
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpen
t
er
extr
a
: introduce get_ex
t
ra_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
pent
e
r
smatch: cha
n
ge
all remaining
references from warn
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpen
t
er
ker
n
el
.
ig
n
ored_
m
acro
s
:
a
dd S
N
IC_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan
Carp
e
nter
unrea
c
habl
e
: ignore list_fo
r
_
each_entry_contin
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carp
e
nt
e
r
extra: handle x = (u8)y; correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
ter
imp
l
i
e
d: fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpenter
type: h
a
ndle typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
C
arpenter
math: hand
l
e __smatch_imp
l
i
e
d(&fo
o
->bar) a li
t
tle better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n
C
arpenter
a
s
si
g
ned_expr: store i
t
l
ate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
ter
functio
n
_h
o
oks: f
i
x validation/sm_compare
1
5
.
c ha
n
dlin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpen
t
er
locking: add n
e
w d
o
wn_timeout
(
) functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpenter
s
ma
t
c
h
_address: fix
compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpen
t
er
fixup_ker
n
el
.
sh: ignore some __vfs_write() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Car
p
enter
fixup_kernel: upd
a
te types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan
C
arpenter
debug: improv
e
__smatch_states() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Da
n
C
a
rpenter
flow: ignore parenthesis in prev_
e
xpression
_
is_getting_ad
d
ress()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
D
a
n Carpenter
unreachab
l
e: ignore netdev_fo
r
_each_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Car
p
enter
flow: cleanup
p
rev_ex
p
ression_
i
s_getting_ad
d
ress()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flow: "&foo->bar" is no
t
a
d
e
r
efer
e
nce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan C
a
rpenter
sma
t
ch_addr
e
ss: se
p
arate things out
into
.
bss
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* check_te
s
t
_
bit:
check
for test_
b
i
t
(BI
T
(0
)
, &fo
o
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
D
an Carpent
e
r
type: speed up ge
t
_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan C
a
rpe
n
t
e
r
type: improve get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Dan Ca
r
pe
n
t
e
r
flo
w
: add
a
n
e
w
e
xp
r
->
p
are
n
t str
u
ct
mem
b
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Da
n
Carpenter
fi
x
u
p_
k
e
rnel: hard code __spi_syn
c
() r
e
turns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
i
xup_ke
r
nel: kmall
o
c() ca
n
all
o
c
a
te more data
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
D
an Carpenter
smatch_address: sort pointers into different
ra
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carp
e
nt
e
r
e
xtra: remove some unus
e
d func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Da
n
Carpent
e
r
smat
c
h
.
h: ad
d
the
compar
i
son hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carp
e
nter
type_to_str: fix a cra
s
hing
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpenter
ignore
_
s
i
de
_
effec
t
s
: get_ch
i
l
d
_rcu() double
e
v
aluates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
D
a
n Carpente
r
implied: u
s
e compari
s
on information
for
i
mplica
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
smat
c
h
.
h:
move stre
e
_stack de
c
laration from sm
a
tch_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Dan
Carpenter
rosenberg: add __bui
l
tin_memset/memcp
y
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
C
arpe
n
ter
user_data2: handle ret
u
rned
struct mem
b
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Ca
r
penter
compar
i
son: up
d
a
te
a
c
omment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
smdb
.
py:
u
pdate to ref
l
ect L
I
MIT/FI
L
T
E
R changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
ar
p
e
n
ter
unwind: add som
e
null checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
type: i
n
c
lude
smatch_sli
s
t
.
h to prevent a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
ar
p
enter
extr
a
: don'
t
set states to
unknown at
t
he beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
e
xt
r
a: don't set true false stat
e
s if
t
hey are the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
function_h
o
ok
s
:
a
dd a ha
c
k around in comp
a
re_
d
b
_return_state
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
list: add a comment about register_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
param_limit:
h
a
ndle s
t
ruct m
e
m
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpe
n
ter
state
s
:
w
h
ite space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
conditi
o
ns: ignor
e
k
nown/implied conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
strings: record str
i
ng assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
struct_a
s
signment
:
save a lot more
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
par
a
m_
l
imit/filter: fix a type
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpe
n
t
e
r
comparison:
h
andl
e
canonical for loops with v
a
riable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
ter
com
p
arison: unsigned can not be less than
ze
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
f
low:
s
et
_
_c
u
r_st
m
t
and
__pre
v
_stmt inside for lo
o
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: merg
i
n
g equi
v
a
lent states
i
s
not unde
f
ined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
enter
comparison: f
i
x
an
i
ndent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arp
e
n
t
er
function_hoo
k
s: fix up db_compare_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
functio
n
_hooks,
d
ebug: print
imp
o
ssible retu
r
ns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
helper: don't strip casting in
g
et_
a
rray
_
offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
pente
r
lin
k
s: export merg
e
_link
_
s
t
ates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
helpe
r
:
make expr_to_str() print forced cas
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
p
enter
type:
m
a
k
e type_to_str(
)
ret
u
rn
a s
n
am
e
()
buffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
modi
f
ication_h
o
oks: set a
va
r
i
a
ble
as
modifie
d
w
hen
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
user_data2: tag it i
f
a function
s
ets p
a
rameters to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
stack: cle
a
nup a funct
i
on prototy
p
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
der
e
f_che
c
k: ign
o
r
e
a
rray
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
arpenter
type: make
sva
l
_type
_
max
(
) default to
"
long
l
o
n
g"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Car
p
e
n
ter
type
:
don't return SYM_N
O
DE types
f
rom get_real_base_ty
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
sid
e
_effects: th
e
iterat
e
_all_kinds() m
a
cro
h
as
s
ide
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Ca
r
p
e
nter
un
r
eachabl
e
:
don't complain
a
bout iterate_al
l
_
k
i
n
ds(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
f
low: fix "foo += !bar;" assignm
e
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpe
n
ter
l
i
b: handle
-fun
s
ig
n
ed-
c
har
o
ption
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Car
p
enter
ker
n
el
.
ignore_sid
e
_effects: a
d
d s
o
me macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Da
n
Carpenter
indenting: al
l
ow "break; c
a
se XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
r
p
e
n
te
r
u
s
e
r_d
a
ta2: mark
sscanf() out
p
ut as u
s
e
r data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpe
n
t
er
math, rl: f
i
x handing
divi
s
i
o
n involving negative
n
umbe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpente
r
sva
l
:
fix sval_bino
p
_
overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arpenter
precedence:
compla
i
n about "foo
<
< bar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next