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
comparison: introduce impossibly_high_comparison() [fix build error]
2018-04-09
Dan Car
p
enter
c
o
mparison:
i
ntr
o
duce impossibly_h
i
gh
_
comparis
o
n()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-04-05
D
an Carpen
t
er
ignore: fix && vs || typo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-29
Dan C
a
rpenter
index_overflow: almost a re-write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n
Carpent
e
r
impli
e
d: impro
v
e handling of ass
i
gnments in arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
nter
kern
e
l_printf: don't war
n
about void pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Carpenter
c
h
eak_
l
e
aks: hand
l
e
retu
r
n
ing condit
i
onals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
math: intro
d
uce a
n
ew cache of recently
u
s
ed constan
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
nter
math: handle __builtin_con
s
tant_p() pr
o
per
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
C
arpenter
math: allocated so
m
e pe
r
mane
n
t range lists
in rl_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Carpe
n
t
er
con
d
iti
o
ns: Fix parsing foo = ({
.
.
.
label: _
_
ret; })
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-14
Dan Carpent
e
r
function_hooks: don't be too ambitio
u
s
faking
parame
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpe
n
ter
ranges/p
t
r
list: sol
v
e a
le
a
k with a big
h
ack (seco
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpenter
allocate: u
s
e
u
n
s
i
g
ned long t
o
re
c
ord allocations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpe
n
t
er
d
e
r
e
f_check: fix a sm
a
ll le
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
a
n Ca
r
penter
hooks:
intro
d
uce FUNCTION_CALL_HOOK_BEFOR
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan C
a
rp
e
nter
u
se
r
_data: reading
f
r
om an array doe
s
n
'
t necessarily
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
implied: in
t
roduce impos
s
i
ble
_
assumption()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpe
n
ter
buf_size:
don't sav
e
u
nnecessar
y
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
arpenter
mtag: push all my changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
D
an
Carpenter
ranges: fix a l
e
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-07
Dan Car
p
e
nter
debug: add
_
_smat
c
h_state_coun
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan
C
arpenter
modi
f
i
cati
o
n_hooks
:
do
n
't
s
ave the
e
x
p
r
ess
i
ons ou
t
side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
var_sym: twea
k
expr_to_vsl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpente
r
sy
m
bol
.
h: let i
s
_p
t
r_
t
ype
(
) take NU
L
L poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Car
p
enter
retu
r
n_to_param:
fix a
c
rashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Da
n
Carp
e
n
ter
st
r
uct_a
s
s
i
gnment/a
s
sig
n
ed
_
expression: save some m
o
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
expressions: free all
o
cated expres
s
ions a
f
ter
the end
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Dan Carpenter
rosenberg: chec
k
the correc
t
alignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van Oostenryck
fix: do no
t
ignore struct/un
i
on/enum type attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van
Ooste
n
ryck
move up app
l
y_
c
t
ype()'s declarati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van Oostenr
y
ck
add testcases for ignored type at
t
ributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-03-01
Dan Carpenter
M
erge git://git
.
ker
n
el
.
org/pub/sc
m
/deve
l
/sp
a
r
se/sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-27
Dan Car
p
en
t
er
mtag
:
fix
b
uild erro
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-22
Dan Carpenter
he
l
per: fi
x
segfault parsin
g
in
v
alid co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
t
ype_va
l
:
dev_get_drvdata() doesn't set t
h
e ty
p
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
or_vs_and: w
h
i
t
e s
p
ace cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
an
C
arpenter
conditions:
pass SELECT_HOOK for
s
elect
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpenter
estate: wh
i
te space clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
constraints: allow binop c
o
nst
r
aints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arpenter
smatch_c
o
mpari
s
on: fix
a c
r
as
h
i
ng bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
check_kernel: handle fls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Car
p
enter
extr
a
:
tight
p
aramete
r
v
alues
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
e
x
tra: hand
l
e "if
(foo &
0x1)
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpente
r
e
x
tra:
d
on
'
t set
t
rue/false state
s
if it's the same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
implied: u
s
e assume() even if the
r
e are
n
o im
p
licat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
math:
s
ilenc
e
hard max f
a
lse p
o
si
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpent
e
r
s
lis
t
: don't pass stuff to pre_merge
_
hooks
t
ha
t
isn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpenter
mtag:
kill an e
n
dless
l
oop in
u
p com
i
ng code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carp
e
nter
cal
l
_m
a
th: initialize some
strin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
Carpenter
fn_ar
g
_link:
f
ix an
endless loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-20
Dan Carpen
t
er
db:
f
i
x
a segfault parsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-19
Dan Carpenter
comparison
:
improve handlin
g
of "if (foo + 1 > limit) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Ca
r
penter
db/comparison: Us
e
m
ask information
t
o ge
t
comp
a
risons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpenter
comp
a
rison: handle __s
m
atch_compare(f
o
o,
b
ar -
1)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpenter
extra: clea
n
up handle
_
A
N
D_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
D
a
n Carpenter
e
x
t
ra: cleanup ha
n
d
l
in
g
"if (foo
&
0x1
)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan C
a
rpenter
use
r
_data: silence some fals
e
positives with
d
ivides
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan Ca
r
penter
user
_
dat
a
2: silence
s
ome false pos
i
tives
hand
l
i
n
g ntohl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpenter
c
onditions
:
hack around "i
f
(
f
oo | b
a
r) {
"
(bitwise OR)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-09
Dan
C
ar
p
enter
da
t
a/ker
n
el
.
ignore_
m
acro_indentin
g
:
i
gn
o
re tcp_skb_t
s
orted_r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Da
n
C
a
rpen
t
e
r
db/smdb
.
py: change so
m
e formatting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
db/smdb
.
py: f
i
x the PARAM_
C
OMPARE/LIMIT types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpent
e
r
ros
e
nber
g
: fi
x
a cr
a
shing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
user_data2: do a hac
k
around in
the pre_merge_hook()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
constra
i
n
t
s:
handle conditions like
"
if (8 <
x) {
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Ca
r
penter
expr_to_ch
u
nk_helper: set *sym wh
e
n there is onl
y
o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
slis
t
: allow sho
w
_
s
m() to a
c
ce
p
t N
U
LL p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpent
e
r
flow: don't
fake an im
p
o
s
sible default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
type_val: re
c
ord fewer "u
n
known"
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
flow: set loop_count
t
o
z
ero when parsing inline
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
c
o
r
e
: silen
c
e som
e
false positives from pars
i
ng invalid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan C
a
rpenter
implied: use a
t
ime
b
ased timeout instead of counti
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
extra: ha
n
dle loops lik
e
: while (--i >
=
0)
{
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
D
an Carpenter
function_hooks: f
a
ke an assignment w
h
e
n
functions r
e
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
D
an
C
arp
e
nter
check_free_
s
tri
c
t: New
s
tri
c
t
e
r
c
ross function
use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
check_atomic_
i
nc_de
c
: track
a
tom
i
c
_inc()
and
a
tomic_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Da
n
Carpente
r
a
ssigned_expr: handl
e
fa
k
e assign
m
e
n
ts bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigned
_
expr: remov
e
debug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
ker
n
el_printf: %px is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan
C
arp
e
nter
s
t
ree: debugging
:
p
r
int the num
b
er of states in __pr
i
nt_str
e
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carp
e
nte
r
mtag
:
c
o
m
mit all mtag relat
e
d code to
d
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Ca
r
p
enter
smdb
.
py:
f
ix some crashing bug
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
arpent
e
r
con
t
ai
n
er
_
of: h
a
nd
l
e
functio
n
ca
l
ls like foo->bar(fo
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
smatch: get th
e
smat
c
h bin dir
c
orrectly when it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
us
e
r_data2: empty states ar
e
not user da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
c
onstrain
t
s_required: improve handlin
g
o
f
a
s
s
i
gn
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
db: d
o
n't s
p
lit b
y
NULL vs non-NULL when there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpen
t
er
flow: sto
r
e a backup of the start
tim
e
when parsin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
ar
p
enter
helper: ch
a
nge
some nonse
n
s
e
va
l
ues to ot
h
er nonsen
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
enter
DB: intr
o
duce a timeout handli
n
g caller in
f
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
Carpente
r
address:
fix handling of &foo->bar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpen
t
er
contstraints: use caller in
f
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
C
a
r
p
e
n
t
er
c
onstraints: move print_return_implies_cons
t
rained()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpe
n
ter
constraints: cleanup unme
t
_
constr
a
i
n
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
c
o
n
s
traints:
f
ix add_constraint
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carpenter
mtag: introduce
c
r
e
ate
_
mtag_ali
a
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
mtag: f
i
x
g
et_
m
tag()
f
o
r
record
e
d states
a
nd for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan
C
arpenter
links: no ne
e
d to record
l
inks o
u
tsid
e
a
funct
i
on call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
D
an C
a
rpente
r
type_val
:
cache
D
B
i
n
fo as a speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan
C
a
rpente
r
string_l
i
st
:
prev
e
nt a use a
f
ter
f
ree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next