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
stored_conditions: rename match_modify() to match_link_modify()
2015-08-03
Da
n
Carpen
t
er
stored
_
c
o
n
ditions: rename ma
t
ch_
m
o
d
i
f
y
() to match_
l
ink_
m
odify()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan
C
a
r
pe
n
ter
m
a
t
h
: fix an ou
t
of
m
emory issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carp
e
nter
math: return
a bi
t
ear
l
i
e
r
in handle
_
bino
p
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpenter
implied:
w
e hav
e
t
o m
a
ke the f
a
lse states match as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpenter
err_ptr
:
use the a
c
tu
a
l values to s
i
lence false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
Carp
e
nter
comparison: fi
x
an oo
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
fix
u
p_kernel
.
sh:
t
r
ack kmall
o
ced() vs
.
text data better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extr
a
: don'
t
try
to record the s
t
at
e
for literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
nt
e
r
flow:
a
d
d
a
->parent member to statement structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
ranges: don't allow s
o
many
i
nv
e
rte
d
r
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpent
e
r
type: improve get_me
m
ber_type_from_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Carpen
t
er
ext
r
a: handle arrays
b
ett
e
r using
the
chunk code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan
Carpenter
type: make type_to_s
t
r() handle
a
r
rays
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan
Carpenter
helper: tiny cl
e
anu
p
in get_comp
l
icat
i
on_score(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
D
an Carpenter
implied
:
fix bug
h
andling u
n
m
atched im
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan
Carpenter
extra: fix chunk ha
n
dling a
b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan
Carpe
n
t
er
v
a
l
idation:
f
ix
a test
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Ca
r
pen
t
er
deref_che
c
k:
s
ilence some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
deref_check: remove
unnecessary
call to getting_a
d
dress()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carp
e
n
ter
fixu
p
_kernel
.
sh:
fix the
rtlwifi hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
D
an Carpen
t
er
uncons
t
ant_macros: add
M
AP_UNINITI
A
LIZED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpente
r
ptrlist:
r
e
a
d
ing
d
e
l
et
e
d
items in NEXT_PTR_L
I
ST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan
Carpenter
ranges: fix
ho
w
some ra
n
ges are
joined tog
e
ther
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
ranges:
av
o
id
a
possible i
n
teger ove
r
flow problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan
Ca
r
penter
p
ointer_math: ALIG
N
is not byte
s
, bu
t
offsetof(
)
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_math: don't compla
i
n if
a
pointer math operation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
a
rpenter
pointer
_
math:
silence fa
l
se
a
t
o
n of false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan
Carpenter
chunk: i
m
prove expr_to_chunk_sym_vs
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
help
e
r: imp
r
ove
get_complication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helper: export get_complication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carp
e
nter
t
y
p
e: export is_local_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpe
n
t
e
r
c
h
u
n
k
: change
t
h
e API a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan
C
arpe
n
ter
extra:
s
tart tracking "
c
hunks" in
s
t
e
ad of ju
s
t variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
D
an Carpenter
m
a
th:
give up if c
a
lculating
a
value is too co
m
p
l
i
ca
t
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpenter
imp
l
i
e
d: turn off debu
g
mess
a
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpe
n
ter
check_list
.
h: mov
e
stored_conditi
o
n_links nex
t
to stored_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpe
n
ter
f
l
ow
:
ignore arrays
with over
a
10
0
0
elements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan Car
p
enter
db/fixup_kernel
.
sh: hack around slow
r
tlwifi t
e
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
capped: use FO
R
_EACH_MY_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 C
a
rpente
r
user_data2: han
d
l
e pointers to
user data bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data:
add kmap
_
atomic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Carpenter
user_d
a
ta: s
/
kmemdup_user
/
m
e
m
dup_
u
ser/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpe
n
ter
te
s
t_bit: add s
e
t_bit() and clear_bit() functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpen
t
er
c
heck_deref: remove
call t
o
getting
_
a
d
d
r
ess()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
an Carpenter
estate: make clone_estate()
t
ake a
NULL po
i
nte
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
whitespa
c
e: c
h
ang
e
some
s
pa
c
es to
tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
D
an Carpenter
d
e
b
ug: add some
tools fo
r
developing th
e
db p
a
rser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan C
a
rpenter
buf_size:
i
mprov
e
re
s
iza
b
le struct handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
R
asmus Villemoes
eli
m
inate some cats
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Da
n
Carp
e
nte
r
db: fix a bug in sp
l
it returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpente
r
extra: introduce get_ex
t
ra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n C
a
r
p
enter
smat
c
h: ch
a
nge all re
m
ainin
g
refer
e
nc
e
s from warns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Ville
m
oes
prefix
smatch gen
e
rated fi
l
es
b
y smatch
_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vil
l
emoe
s
test_kernel
.
sh: cle
a
n up
.
c
.
smatch fi
l
e
s
after cat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s V
i
llemoes
Documentation: mak
e
me les
s
conf
u
sed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
llemoes
tr
a
ce_pa
r
ams
.
p
l:
f
ix hash/hash r
e
ference con
f
usio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpente
r
kernel
.
ignored_macr
o
s: add SNIC_BUG_
O
N()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan
C
arpe
n
ter
unreachable: ignore list_for_each_entry_
c
ontinue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
e
x
tra:
h
andle x = (u8
)
y;
cor
r
ectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Ca
r
penter
i
m
plied: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
nter
type: handle
typeo
f
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
nter
math: handle
__smatc
h
_implied(&foo
-
>bar)
a
little bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
assigned_expr
:
st
o
re
it l
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
functi
o
n_hooks: fix validation/sm_compare15
.
c handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
locking: add ne
w
down_time
o
ut
(
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
smat
c
h_addre
s
s: fi
x
compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
penter
f
i
xup_kernel
.
sh: ignore so
m
e __
v
fs
_
write() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_ke
r
nel
:
update types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Firo Y
a
ng
Makefile: elimin
a
te
a
llvm-config build warnin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan Ca
r
p
enter
debug: imp
r
ove __smatc
h
_states(
)
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan C
a
rp
e
nter
flow
:
igno
r
e p
a
r
e
nthesis
i
n prev_ex
p
ressi
o
n_is_getting_addr
e
s
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
D
a
n
Carpenter
unreachable: ignore netdev_for_ea
c
h_
l
o
wer_dev
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
flow: cleanup prev_ex
p
r
e
ssion_i
s
_
g
e
t
t
i
ng_address()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
C
a
rpente
r
flow:
"&fo
o
->bar" is
n
o
t a dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpe
n
ter
smatch_a
d
d
r
e
ss: separate t
h
ing
s
out into
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* c
h
eck_test_bit: check for
t
est_bi
t
(BIT(0), &
f
oo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpen
t
er
type: spe
e
d up get_t
y
pe
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carp
e
nter
type: i
m
prove
g
e
t_binop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
D
a
n Carpenter
f
l
o
w: add a new expr->paren
t
struct member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fixup_kernel: hard code
_
_s
p
i_sync() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
D
a
n
C
arpent
e
r
fix
u
p_ke
r
nel: kmal
l
o
c
()
can allocate more data
.
L
et
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg
D
rok
i
n
c
h
e
c
k
_
l
o
cking
.
c
: Fix
a
nnoying invis
i
ble read_unl
o
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan
Carpenter
sma
t
ch_addr
e
s
s: sort
p
ointers into
dif
f
erent ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpe
n
ter
extra: rem
o
ve s
o
me un
u
s
e
d fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Da
n
Car
p
e
n
t
e
r
smatch
.
h: add
t
h
e
com
p
ar
i
son
h
oo
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Car
p
enter
type
_
t
o
_str: fix a crashing bu
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Firo Yang
smatch
.
h: add
e
s
tate_get_single_value() dec
l
a
r
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpenter
ignore_side
_
effe
c
ts: get_chi
l
d_rcu(
)
doub
l
e
evaluate
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Da
n
Carpenter
im
p
lied: use
c
omparison in
f
o
r
mation for implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpen
t
er
sma
t
ch
.
h: move stre
e
_
stack
d
ec
l
ara
t
ion from smatch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
rosenb
e
rg: add
__builtin_
m
ems
e
t
/
memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
user_data2
:
hand
l
e returned struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
c
o
m
pari
s
o
n:
updat
e
a com
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
smdb
.
py: update to reflect LIMIT/FILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
unwind: add some nul
l
checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
ty
p
e
:
i
nclude smatch_slist
.
h to
p
revent a segf
a
ul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
extra
:
d
o
n
'
t set states
to unknown a
t
t
h
e beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
pe
n
ter
extra: don't
s
et
t
rue fa
l
se states i
f
they are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
function_hooks: add a
h
ack ar
o
und in compare_
d
b
_return_state
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next