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
extra: start tracking "chunks" instead of just variables
2015-07-10
Dan
C
a
r
p
e
nter
extra: start tracking
"
c
hunks" instead
o
f
j
u
s
t variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan C
a
r
p
ent
e
r
m
a
th: gi
v
e up if
c
alculating a valu
e
is
t
oo co
m
plicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpenter
i
mp
l
ied: turn off de
b
ug messages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
check_li
s
t
.
h: move stor
e
d_cond
i
tion_links next
t
o
s
tor
e
d_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
fl
o
w: ig
n
ore arrays with ove
r
a 1000 elem
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Ca
r
penter
db/f
i
xup_kernel
.
sh: hack around slow rtlwifi tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
c
a
p
ped: use FOR
_
EACH
_
MY_
S
M()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
a
rpenter
use
r
_
da
t
a2: add skb_
n
e
t
wo
r
k_heade
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpenter
user_d
a
t
a2:
handle poi
n
ters to user data bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpente
r
user_data: a
d
d kmap_atomic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Car
p
enter
user_data: s
/
kmemdu
p
_user/m
e
mdup_user/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
tes
t
_bit: add
set_b
i
t() and clear_bit() functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
ch
e
c
k_deref: remov
e
call to ge
t
ting_addres
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Da
n
C
a
r
penter
estat
e
:
mak
e
clon
e
_estate()
t
ake a NULL poin
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n
C
ar
p
enter
w
hitespace: cha
n
ge s
o
me spaces to
t
abs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Car
p
e
n
ter
deb
u
g: add some tools
f
or developing t
h
e
d
b
pa
r
ser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Car
p
en
t
er
buf_size: improve r
e
siza
b
le str
u
ct handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villem
o
es
elim
i
nate som
e
ca
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: fix a bug i
n
split retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Carpenter
extr
a
:
int
r
oduc
e
get_extra_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
sma
t
ch: change
a
l
l
remaining
r
ef
e
rences fr
o
m warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Ville
m
oes
prefix
s
matc
h
generated files
by smatch_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
llemo
e
s
test
_
ke
r
nel
.
sh
:
clea
n
up
.
c
.
s
m
atch
f
iles af
t
e
r
c
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s Villemoes
D
ocum
e
ntation: make me less c
o
n
f
used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
Vil
l
em
o
e
s
trace_params
.
p
l
: fix hash/hash r
e
fe
r
e
n
c
e c
o
n
f
u
s
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan
C
arpenter
kernel
.
ignored_macros: add SNIC_BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
D
a
n Ca
r
penter
unre
a
c
h
a
bl
e
: ignore list
_
fo
r
_each_entry_co
n
ti
n
ue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpe
n
ter
extra: handle x = (u8
)
y
; co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Ca
r
penter
implied: fix a
l
eak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
type: h
a
ndle typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
ma
t
h: handle __sma
t
c
h_implied(&foo->b
a
r
) a litt
l
e better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
ter
assigned_exp
r
:
store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpenter
f
u
n
c
t
io
n
_
hook
s
: fix validation/sm_c
o
mpare15
.
c
handlin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Carpenter
lock
i
ng: ad
d
new down_
t
imeout() func
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
smatch_addres
s
: fix
c
o
m
p
i
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpen
t
er
fixup_ke
r
nel
.
sh:
i
gnore
s
o
m
e __vfs_write() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
pen
t
er
fix
u
p_kernel: upda
t
e types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
F
iro Y
a
ng
Ma
k
efile: elimin
a
te a llvm-config build warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Da
n
Car
p
enter
debug:
i
m
prove _
_
smatch_states() output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Car
p
ent
e
r
flow: ignore
p
arenthesis
in prev
_
e
x
pression_i
s
_getting_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carp
e
n
t
er
u
nreachable: ig
n
ore ne
t
dev
_
f
o
r
_each_
l
ower_de
v
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
D
a
n C
a
rpenter
flow: cleanup
p
rev_
e
xpression_is_gett
i
ng_addr
e
ss()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan
C
a
rpenter
flow: "&fo
o
->bar" is no
t
a derefer
e
nce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
smatch_
a
dd
r
e
ss: separate
things o
u
t in
t
o
.
bss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpente
r
*
new*
check_
t
est_bit: check for tes
t
_bit(BIT(0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
D
an C
a
rpenter
type
:
speed u
p
get_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: improve
g
et_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
D
an
Carpen
t
er
flow: ad
d
a
new expr->parent
struct membe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
D
a
n Ca
r
penter
fi
x
up_k
e
r
n
e
l
:
hard c
o
de __spi_sync()
r
e
turns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Car
p
e
nter
fixup_kernel: k
m
al
l
oc() can alloc
a
te
mo
r
e da
t
a
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Ole
g
Drokin
che
c
k_
l
ocking
.
c
: Fix
annoying invisible read_u
n
loc
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
smat
c
h_address
:
sor
t
pointers into diff
e
rent ra
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Carpenter
ext
r
a: re
m
ove some un
u
sed functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Car
p
e
nter
sma
t
ch
.
h: add the com
p
aris
o
n
hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpenter
type_
t
o_str
:
fix a crashi
n
g
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Firo Ya
n
g
smatch
.
h:
add estate_get_single
_
val
u
e()
dec
l
arati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Dan
C
a
rpenter
i
g
no
r
e_
s
i
d
e_effe
c
ts: get_child_rcu() d
o
uble evaluates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
i
mplied: use comparis
o
n
i
nformation for implicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpent
e
r
smatch
.
h
:
move stree_stack declara
t
ion
f
rom smatch_slis
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Da
n
Carp
e
nter
rosenberg:
a
dd
_
_builtin_memset/memcpy()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
r
penter
use
r
_data2:
h
andle
r
eturned struct mem
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpe
n
ter
comparison: upd
a
te a com
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
enter
smd
b
.
py
:
u
pdate to reflect LIMIT/FI
L
TER changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
unw
i
nd: add some
null checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
type: inclu
d
e smatch_slist
.
h
to prevent a
s
e
g
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
e
x
tra:
don't se
t
s
tates
t
o unknown at the beg
i
nning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Car
p
e
n
ter
extra: don't set tr
u
e false
s
tates i
f
t
hey are the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
function_hooks: add a
hac
k
around i
n
co
m
par
e
_db_ret
u
r
n_state
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
l
i
st: add a comment about regi
s
ter_impli
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Ca
r
penter
p
a
ram_limit: handle struct
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
states: white space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
c
onditions: ignore k
n
o
wn
/
im
p
lied
c
onditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
s
t
ri
n
gs: rec
o
rd st
r
ing assign
m
e
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n C
a
rp
e
nte
r
struct
_
ass
i
gnment
:
save
a lot mor
e
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
param_limit/filter: fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Silvan Jeg
e
n
d
b
: Avoid derefer
e
n
c
ing null pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Ca
r
penter
comp
a
ri
s
o
n
: handle canoni
c
al
for loops
w
i
t
h
variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
an
Carpenter
comparison: unsigned can
n
ot be less than zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
fl
o
w: set __cur
_
stmt and __pr
e
v_stmt inside for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: merg
i
ng equivalent st
a
tes is no
t
undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comp
a
rison: fix
a
n
i
ndent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
function_h
o
oks: fix up
db_compare_
c
allbac
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
f
u
nction_hoo
k
s
, debug: pri
n
t impossible
r
eturn
s
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
t
e
r
helpe
r
:
don't strip casting
in get_a
r
r
ay_o
f
f
s
et()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
links: export
m
erge
_
link_states
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helper: make exp
r
_to_str() p
r
int forc
e
d casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
t
er
type: make type_to_str(
)
re
t
urn a sn
a
m
e() buff
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modification_ho
o
ks:
s
et a variable as m
o
dified when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
user
_
data2: tag it
i
f a functi
o
n se
t
s parameters
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
stack
:
c
l
eanup a functi
o
n prototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
de
r
ef_ch
e
c
k
: ignor
e
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
D
a
n Carpenter
type:
make sval_typ
e
_max() defa
u
lt to
"
long long
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
arp
e
n
t
er
type:
d
on't ret
u
r
n
S
YM_NODE types
f
rom get_r
e
al_base_type
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Da
n
Carpenter
s
i
d
e
_effects
:
the it
e
rate_all
_
kinds() macro h
a
s side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpe
n
ter
unr
e
achable:
d
on't com
p
lain about iterate_al
l
_
kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan Car
p
e
n
t
er
flow: fi
x
"foo +=
!bar;
"
a
ssi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan
Carpenter
lib: hand
l
e -funsigned-cha
r
option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
an C
a
rpenter
kern
e
l
.
ignore_side_effects
:
add some m
a
cros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Car
p
enter
indenting: allow
"b
r
eak; case XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carp
e
n
ter
user_da
t
a2: mark ssca
n
f
() output
a
s
us
e
r data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next