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: don't try to record the state for literals
2015-07-30
Dan Carpente
r
e
xtra:
d
o
n't try to reco
r
d
the stat
e
f
o
r
l
iterals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n
C
arpenter
flow: add a ->parent member to st
a
tem
e
nt s
t
ructs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
rang
e
s: don't allow
s
o ma
n
y inverted ra
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Carpenter
ty
p
e: improve
g
e
t_m
e
mber_type_f
r
om_
k
ey(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpente
r
extra: handl
e
arrays better using the chunk code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan
C
arp
e
nter
type:
make t
y
pe_to_str()
h
a
n
dle arrays be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpe
n
ter
help
e
r: tiny clean
u
p in get_complication_s
c
o
r
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Ca
r
penter
imp
l
ied: fix bug ha
n
dling unmatched
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan
C
arpenter
extra: fix
c
hunk
handling a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Car
p
enter
validation: fix
a
t
est a bi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
a
n
Car
p
enter
de
r
ef_chec
k
: silen
c
e
some
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
an C
a
rpenter
deref_che
c
k
: remov
e
unn
e
c
essa
r
y
call to getting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan
C
a
r
pent
e
r
fi
x
up_kernel
.
sh: fix the rtlwifi h
a
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
D
a
n
C
arpent
e
r
unconst
a
nt_macros:
a
dd MAP_UNINITIALIZE
D
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carp
e
nter
ptrlist:
reading
deleted items in NE
X
T_PTR_
L
I
S
T()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan
Car
p
ente
r
ranges:
fix how some ranges are joined together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan C
a
r
pent
e
r
ranges: av
o
i
d
a possible int
e
ger overflow problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
arpenter
poi
n
ter_math: ALIGN is not
b
ytes,
but o
f
fsetof() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
p
ointer_math
:
d
o
n't complain if a pointer math operation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpe
n
ter
pointer_math: silence false a ton of false
posi
t
ive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
a
rpenter
chunk: improv
e
e
xpr_to_chunk_sym_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpent
e
r
h
elper: i
m
pro
v
e get_
c
omplication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helper: exp
o
rt get_co
m
p
l
i
cation_score
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Ca
r
p
ent
e
r
type: expo
r
t i
s
_
local_varia
b
l
e(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan
Carpen
t
er
ch
u
nk: chan
g
e
the API a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
extra: start track
i
ng "chu
n
ks
"
instead of just v
a
riables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan Carpenter
m
ath: give u
p
if calcu
l
atin
g
a value
is too c
o
mplicated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpe
n
t
er
i
mplied:
t
u
r
n off debug mes
s
ages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Car
p
en
t
er
check_list
.
h: move
s
tored_condition_links n
e
xt
to stored_co
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flow: ignore arrays w
i
th over a
1
0
0
0
e
l
ement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan
Carpenter
db/fixup_ker
n
el
.
sh: hack ar
o
und slo
w
rtl
w
ifi tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpenter
ca
p
ped: use FOR_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_heade
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_data2: handle pointe
r
s to
u
s
e
r data better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_da
t
a: add
k
m
a
p
_a
t
omic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
user_da
t
a
:
s
/kmemdup_user/memdup_us
e
r/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpente
r
test_b
i
t: add se
t
_bit()
a
nd clear_bit() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpe
n
ter
check_der
e
f: re
m
ove cal
l
to getting_add
r
e
s
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Car
p
ente
r
estate: ma
k
e
c
l
one_estate() take a NULL po
i
nt
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n
Carpen
t
er
w
hitespace: chan
g
e so
m
e spaces to
tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
debug
:
add some t
o
ols for
d
evelopi
n
g the db
p
arser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
b
u
f_size: impro
v
e res
i
zable
st
r
uct h
a
n
dling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villemoes
e
l
iminate
some ca
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carp
e
nter
db: fix a
b
ug in split returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
an Carpenter
extr
a
: introduce get_extra_st
a
t
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
smatch: change
all re
m
aining re
f
e
r
e
nces f
r
om war
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemo
e
s
prefix smatch generated files by sma
t
c
h
_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
t
e
st_k
e
rn
e
l
.
sh
:
c
l
ea
n
up
.
c
.
smatch file
s
after cat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
Docu
m
entation: mak
e
me
less confu
s
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
t
r
a
ce_params
.
pl
:
fix hash/
h
ash re
f
e
renc
e
co
n
fusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpent
e
r
k
e
rn
e
l
.
i
g
nored_macr
o
s: add SNI
C
_BU
G
_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
D
an Carpenter
unreachable: ignore li
s
t_for
_
eac
h
_entry
_
c
o
n
t
i
nu
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Da
n
Carpenter
extra: han
d
l
e x = (u8)
y
;
corre
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Ca
r
penter
implied
:
fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rp
e
nter
t
ype: ha
n
dle
t
ypeof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
nter
math: handl
e
_
_
sm
a
tch_implie
d
(&foo->ba
r
)
a
little better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
assi
g
ned_expr
:
store it late
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
fu
n
ctio
n
_hoo
k
s: fix va
l
idation
/
s
m_co
m
pare15
.
c
h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
locking: add
n
ew d
o
w
n_timeo
u
t() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Ca
r
pen
t
er
s
match_address: fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpen
t
er
fixup_ke
r
ne
l
.
sh
:
ignore som
e
__vfs_wri
t
e
(
) calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_kernel: u
p
d
a
te
t
ypes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Firo Y
a
ng
M
akef
i
le: elimi
n
ate a ll
v
m
-config buil
d
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
D
an Carp
e
nt
e
r
d
e
bug: improve __s
m
a
t
ch_states(
)
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpent
e
r
flow: ignore parenthesis
in prev_expression_is_g
e
tting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan C
a
rpenter
unreachable
:
ignor
e
netdev_for_
e
a
c
h
_
lower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Ca
r
pente
r
flow: cleanup prev_e
x
pression_is_getting_address()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpente
r
flow
:
"&foo->bar" is not a de
r
ef
e
rence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Ca
r
pent
e
r
smatch_address: separate t
h
ings
out into
.
bss
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan C
a
rpenter
*n
e
w*
c
h
e
ck_test_bit:
ch
e
ck for te
s
t_
b
it
(
BIT(0)
,
&f
o
o)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type: spee
d
up
g
et_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan
C
arp
e
nter
type: improve get_binop_
t
ype(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan
C
arpenter
flow: add
a
new expr->parent stru
c
t
me
m
ber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan
Carpenter
fixu
p
_kern
e
l
: hard code __sp
i
_sync() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Ca
r
pent
e
r
fixup
_
kernel
:
k
malloc
(
) ca
n
allocate more data
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
check_locking
.
c: Fix annoying invisibl
e
read_un
l
ock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
D
an Carpenter
smatch_add
r
ess: so
r
t p
o
i
n
ters into d
i
ff
e
re
n
t rang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n C
a
rpenter
ext
r
a
:
remove some unused
f
uncti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n Ca
r
penter
smatch
.
h
:
a
dd the comparison hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Car
p
en
t
e
r
type_to_str: fix a
c
r
ashin
g
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Firo Yang
smatch
.
h:
a
dd estate_get_single_value()
d
eclarati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan
Carpen
t
er
ignore_side_eff
e
cts:
g
et_
c
h
i
ld_rcu() double evaluates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carp
e
nter
implied: use
c
ompari
s
o
n
informa
t
io
n
f
or implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
smatch
.
h: move s
t
ree_st
a
ck declarat
i
o
n fr
o
m s
m
atch
_
s
l
is
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
D
a
n Car
p
enter
r
o
senber
g
:
add
_
_builtin_mem
s
et/memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
u
ser_data2: hand
l
e
r
e
t
u
rned struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
comparison
:
update
a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
smdb
.
py: update to reflect
L
I
MIT/FILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
arpenter
unwind:
a
dd so
m
e null check
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
type
:
inc
l
ude smatch_slist
.
h to prevent a
segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
extra:
don't set
s
t
a
tes t
o
unknown at the
beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
extra: don't se
t
true false states if the
y
are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
f
u
nction_hoo
k
s: add a hack ar
o
und
i
n
c
o
m
pare_db
_
retur
n
_
s
tate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
list: add a c
o
mment about register_implicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n C
a
rpenter
p
a
ram
_
lim
i
t: handle str
u
c
t
membe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
states: whi
t
e spa
c
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
c
onditions
:
ignore known/implied conditi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
pen
t
er
strings: record str
i
ng
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
rpenter
s
t
ruct_assign
m
ent
:
save
a
lot mo
r
e informa
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpe
n
ter
par
a
m_li
m
it/f
i
lter: fix a type
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next