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
implied: fix bug handling unmatched implications
2015-07-28
Dan C
a
r
penter
implie
d
:
f
ix bug handling unma
t
ch
e
d
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
ex
t
ra: fi
x
chunk handling
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carp
e
nter
validation: fix
a
test a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan
Carpenter
d
e
ref_
c
heck
:
sile
n
ce some false
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Da
n
Carpenter
deref_chec
k
:
r
e
mo
v
e
unnecessary call to get
t
ing_a
d
dre
s
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Car
p
enter
fixup_
k
ernel
.
sh: fi
x
t
h
e
rtlwi
f
i hac
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpent
e
r
u
n
c
o
nstant_macros: add
MAP_UNINITIALIZED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Dan Carpenter
ptrlist
:
rea
d
ing dele
t
ed it
e
ms in NEXT_PTR
_
LIST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Carpe
n
ter
ranges: fix how some
r
anges a
r
e joined together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
arpent
e
r
rang
e
s: avoid
a possible inte
g
e
r
o
verflow
problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
poi
n
ter
_
m
ath: ALIGN is
not bytes, but offsetof() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Carpenter
p
o
int
e
r
_math: don't co
m
pl
a
in if
a
pointer m
a
t
h
oper
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n Carpenter
pointer_math: silen
c
e false a ton of f
a
lse positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
chunk: impr
o
v
e
expr_to_chunk_sym_vsl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan C
a
rp
e
nter
helper: improve get_
c
om
p
licati
o
n_s
c
ore(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Car
p
en
t
e
r
help
e
r: export get_complic
a
tion_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Da
n
Carpen
t
er
type: export is_loca
l
_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carp
e
nte
r
chunk: change the API a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
extra:
s
t
art tracking "chunks"
i
n
stead of just var
i
a
b
les
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
D
a
n C
a
r
p
enter
math: give up if cal
c
ulatin
g
a
v
a
l
u
e
is too compli
c
ated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan
C
ar
p
enter
implied: turn off debug me
s
sages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
D
a
n
C
arpenter
chec
k
_list
.
h: move stored
_
co
n
dition_links next to st
o
re
d
_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flow: i
g
nore
a
rrays with over a 1
0
00 elemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpenter
db/fixup_k
e
rnel
.
s
h: hack around slow rtlwifi tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Ca
r
penter
capped: us
e
FOR
_
EACH_M
Y
_SM
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
u
s
er_da
t
a2: add sk
b
_network
_
header()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
user_data2: han
d
le point
e
r
s
to user da
t
a better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
a
r
pen
t
er
user_data: add kmap_atom
i
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpen
t
er
us
e
r_data: s/kmemdup_user/m
e
mdu
p
_u
s
e
r/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
test_bit: add set
_
bi
t
() and c
l
ear_bit() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
enter
check
_
deref: re
m
ove call t
o
g
ett
i
n
g_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
estate: make clo
n
e
_es
t
ate() take a NU
L
L poin
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n Carpente
r
whitespace: change some sp
a
ces to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
pen
t
e
r
d
ebu
g
: add some tools for dev
e
loping
t
he db p
a
r
s
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n
Carpenter
buf_size: improve resizable s
t
ruct handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus
V
i
llemo
e
s
el
i
mi
n
ate
s
ome cats
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Ca
r
p
e
nter
db
:
fix a bug in
sp
l
it r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n C
a
rpenter
ext
r
a: introdu
c
e get_e
x
tra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan C
a
rpenter
sm
a
t
c
h
:
cha
n
g
e
a
l
l
remaining r
e
f
erences
from
warns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
Villemoe
s
p
r
e
fix s
m
atch g
e
nerated files by sm
a
tch_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
R
a
smu
s
V
illemoes
tes
t
_kernel
.
sh: cl
e
an up
.
c
.
smatch file
s
after c
a
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Ville
m
oes
Documentation:
m
ake me less con
f
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
R
a
s
mus Villemo
e
s
trace_params
.
pl
:
f
ix hash/hash referenc
e
confusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carp
e
n
t
er
k
e
rnel
.
ignor
e
d_macr
o
s: add
S
NIC_BUG_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
unre
a
chable: i
g
no
r
e list_for_each_e
n
try_continue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
extra: h
a
n
dle x = (u8)y; corr
e
ctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
implied: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
type: han
d
le typeo
f
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carp
e
n
ter
math: handle
__smatch_impli
e
d(&foo->bar
)
a
l
ittle better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
assigned
_
expr: s
t
or
e
i
t
la
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
fun
c
t
i
on_hoo
k
s: fix validation
/
sm_compare15
.
c handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
nter
loc
k
ing: add
n
ew down_tim
e
o
u
t
(
) fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Carpenter
smatch_addr
e
ss:
f
ix co
m
pile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rpe
n
ter
fixup_k
e
rnel
.
sh: ignore some __vfs
_
write(
)
c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Car
p
enter
fixup_kerne
l
: update t
y
pes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Firo Yang
Makefi
l
e: eliminat
e
a llvm-config build war
n
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
D
a
n Carpenter
d
ebug: improve __sma
t
ch_states(
)
ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan C
a
rpenter
flow: i
g
nor
e
pa
r
e
n
thesis in prev_expression_is_getting_address
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpen
t
er
unreachabl
e
:
i
gnore net
d
ev_for_each_lower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpe
n
t
e
r
flow: c
l
eanup prev
_
expression
_
is_getti
n
g_
a
ddress()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan
C
arpe
n
ter
f
low: "&
f
oo->bar"
i
s
not a der
e
fere
n
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Da
n
C
a
r
p
enter
smat
c
h_address
:
separate things out into
.
b
s
s
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpen
t
er
*new* check_test_bi
t
: c
h
eck
f
o
r
t
e
s
t_bit(BIT(0), &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
typ
e
: speed up
g
et_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan C
a
r
penter
type: improve
get
_
bin
o
p_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Dan Carpenter
flow: add
a
new
expr->paren
t
st
r
uct m
e
m
b
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
D
a
n
Car
p
enter
fixup_kern
e
l: har
d
code __spi
_
sync() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan
Carpenter
fi
x
up_kernel: kmalloc() c
a
n allocate more d
a
t
a
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
O
leg
D
r
o
k
in
check_lo
c
king
.
c: Fix
a
nnoyin
g
invisible read_unlock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
s
m
atch_address: sort poin
t
ers into dif
f
erent range
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
extra: r
e
m
o
ve some un
u
s
ed functi
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpen
t
e
r
smatch
.
h: a
d
d the comparison hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Carpenter
t
ype_to_str: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
F
i
ro Yang
sma
t
ch
.
h:
a
dd est
a
te_g
e
t_s
i
n
gle_value
(
) declarati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carp
e
nter
ignore_
s
ide_
e
ffects: get_child
_
rcu() double evaluate
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpente
r
implied:
u
se co
m
parison informat
i
on fo
r
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Car
p
en
t
er
smatch
.
h:
m
o
v
e stree
_
stack dec
l
aration from smatch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
rosenberg: add __bui
l
t
i
n_memset
/
memcpy
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
user_data2: h
a
ndle returned struct membe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
comparison: update a co
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
smdb
.
py:
u
pdate to refl
e
ct LIMIT/FILTER
c
hange
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
u
nwind: add some null checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
type: inc
l
ude
s
m
a
tch_slist
.
h
to prevent a
s
egfaul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Ca
r
p
e
nter
extra: d
o
n't se
t
s
tates to
u
nknown a
t
the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
arpenter
extra: don't set
t
rue false
s
t
ates if th
e
y
are
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
function_hooks: add a ha
c
k ar
o
u
n
d in
c
o
mpare_db
_
return_state
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
list: add a comme
n
t about register_impli
c
ati
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
param_
l
i
mi
t
: ha
n
dle struct memb
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
st
a
tes:
white
s
pace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
c
ondit
i
ons:
ig
n
o
r
e known/
i
mpl
i
ed cond
i
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
strings: record str
i
ng assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
struct_assignment: sav
e
a lot more infor
m
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
e
nt
e
r
pa
r
a
m_l
i
mit/fi
l
te
r
:
f
ix a type b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Si
l
van Jegen
db:
A
void d
e
referenci
n
g null pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Ca
r
penter
c
o
m
parison: handle
c
anonical for
l
oops with
var
i
able
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n
Carpe
n
te
r
co
m
parison: unsigned
can not
b
e l
e
ss than
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow: se
t
__cu
r
_stm
t
and __prev_stmt inside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
com
p
arison: m
e
rgin
g
equivalent states is
n
ot und
e
fined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
er
co
m
parison
:
fix
a
n
i
n
d
e
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
function
_
hooks: fix up
db_compare_c
a
l
lb
a
ck()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next