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
db: make call_implies rows unique
2018-05-15
Dan Carpen
t
er
db: ma
k
e cal
l
_implies rows unique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
flow: remove the call_split_expr() fu
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
a
r
penter
extra
:
h
andle comparisons to ex
p
r
e
ssion st
a
t
ements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpente
r
db/fill_db_ca
l
ler_info
.
pl: don't perma-ban functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpen
t
er
db
/
fix
u
p_kerne
l
.
sh: commit all my s
t
uff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n
Carpenter
f
u
nction_ptrs:
record
loc
a
l pointer scope
c
orrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpen
t
e
r
re
a
l_a
b
s
o
l
ute: don't save single
value assigns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
a
n Carpe
n
t
er
s
v
al
:
fix a bug in sv
a
l_too_low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db: introd
u
ce
d
b_igno
r
e_state
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Car
p
enter
db/un
t
racke
d
_pa
r
am: mark paramete
r
s unt
r
acked if w
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpent
e
r
flow
:
don't
parse
i
n
l
i
ne function
s
which
a
r
en'
t
i
n
teresting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Dan
Carpenter
d
b/constraints_re
q
uired
.
sch
e
m
a
:
add missing semi-co
l
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
f
l
o
w/expressions/fun
c
tion_hooks: re-fix is_assigned_ca
l
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan
C
arpenter
kernel: h
a
ndle __rea
d
_once_size
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Car
p
enter
m
a
th: fix a
g
e
t
_value()
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan
Ca
r
penter
expressions: m
a
ke assign_expression
(
)
take an op argument
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Ca
r
penter
spectre: warn
a
bout potential spectr
e
vulnerabilit
i
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Carpenter
expressions
:
don't set t
h
e
->
p
arent to a fake expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
D
an Carpen
t
er
expression
s
: just alloc
a
te
z
ero
_
expr() fre
s
h e
v
er
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpenter
expression/sm
a
tch_expres
s
ions: move expr
_
set/get
_
pa
r
e
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and: ti
d
y up wh
i
tes
p
ace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan
Carpenter
or_vs
_
and: min_t
(
) uses the new min() code as we
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan
C
arpente
r
chec
k
_
o
r_vs_a
n
d: ignore t
h
e ker
n
el's min/max macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan Car
p
enter
flow/m
a
th: handle __bu
i
l
tin_cho
o
se_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan
Ca
r
penter
validation
/
overflow: change "warn:" to
"
error:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
about_fn_ptr_
a
rg: don't g
e
t int
o
a
recursive loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
hel
p
er:
a
d
d
get_last_
s
tate
m
ent_from_
e
xpression_stmt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n
C
arpenter
mem_tracker: add a --me
m
optio
n
to debug
memory us
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpente
r
expression
s
: remo
v
e so
m
e unnecessary gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n Carpenter
helpe
r
: improve i
s
_error_return()
.
In
t
he kernel all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arpenter
smatch_data
/
smatch
.
common_function
s
: add some common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
nter
s
mat
c
h
_data/k
e
r
nel
.
ig
n
or
e
d_macros: add AA_BUG(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpente
r
smatch_da
t
a/kernel
.
ign
o
re_unin
i
tialized params: add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carp
e
nter
sm
a
t
c
h_data/kernel
.
i
g
nore_s
i
de_effec
t
s
add recent macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpe
n
te
r
comparison: han
d
le expre
s
sion statem
e
nts be
t
te
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan C
a
rpenter
comparison: rem
o
ve some deb
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpente
r
comparison: in
t
roduc
e
impossibly_high_comparison()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
D
a
n Carpent
e
r
ignore
:
f
i
x && vs || typo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
Dan Carpenter
index
_
ov
e
rflow: almost a re-wri
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan
C
arpenter
implie
d
:
improv
e
han
d
ling of assignments
in argume
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Car
p
en
t
er
k
ernel_print
f
: do
n
't warn about void pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Da
n
Carpenter
cheak_
l
eaks
:
handle r
e
tu
r
ning c
o
nditi
o
na
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
an Ca
r
pent
e
r
math:
introduce a new cache of recen
t
l
y
used constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan C
a
rpent
e
r
math: handle __builtin_consta
n
t_p() properl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
math: all
o
cated some permane
n
t
range lists in rl_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpenter
con
d
i
tions: Fix parsin
g
foo = ({
.
.
.
label:
_
_r
e
t;
})
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Dan Carpen
t
er
f
u
n
ction_hook
s
: don't b
e
too ambitious fak
i
ng parame
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpenter
ranges/ptrl
i
st: solve
a
leak with a bi
g
ha
c
k
(sec
o
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan Carpente
r
al
l
ocate: use unsigned long
t
o
record a
l
location
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
C
a
rpent
e
r
d
er
e
f_check: fi
x
a small leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpe
n
ter
hooks
:
i
n
troduce FUNCTION_CA
L
L_HOOK_B
E
FORE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
user_data: reading from an array doesn't necessa
r
i
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
implied: introduce imposs
i
ble_ass
u
m
ption()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
b
u
f_s
i
ze: don't save
u
nn
e
cessary s
t
a
t
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
mtag: push all
m
y
c
h
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpe
n
ter
ranges: fix
a
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carp
e
nter
debug: ad
d
__smatch
_
state_count(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Carpenter
m
o
dificat
i
on_hooks:
d
on't save the expressions outside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Carpent
e
r
var_sym:
t
w
eak expr
_
to_
v
sl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
symbo
l
.
h: l
e
t is_pt
r
_type() take N
U
LL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan C
a
rpenter
return_
t
o_param
:
fix a c
r
ashing
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
stru
c
t_assignmen
t
/assigned_ex
p
ression: save some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
express
i
on
s
:
fr
e
e a
l
located expression
s
after the end
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
D
a
n Carp
e
nte
r
r
o
senbe
r
g
:
check the corr
e
ct ali
g
nment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan
C
a
rpenter
M
e
r
ge git://git
.
kernel
.
org/pub/scm/devel/spar
s
e/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
Dan C
a
rpenter
mta
g
: fix build erro
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Da
n
Carpen
t
er
helper: fix segfault parsing inva
l
i
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
a
rpe
n
ter
typ
e
_
v
al: de
v
_get_drvdata
(
) doesn't set the typ
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpente
r
or_vs_and
:
white spac
e
c
le
a
nup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
conditi
o
ns: pass
S
E
LECT_HOOK for se
l
ect
a
s
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
e
nte
r
estate: white space
cle
a
n up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpent
e
r
c
onstraints: allow
b
i
nop con
s
traints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
penter
smatch_
c
ompar
i
son: fi
x
a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
ch
e
ck_kerne
l
: handle fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
extra: tight param
e
ter
values
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
extra: handle "if (foo
& 0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an
C
arpenter
extra: do
n
't se
t
t
rue/false stat
e
s if it's the
same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arp
e
nt
e
r
implied: use
as
s
ume() eve
n
if the
r
e ar
e
no implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpenter
math:
si
l
ence hard max false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
penter
slist: don't pass stuff to pr
e
_merge_hooks that isn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
C
a
rpenter
mtag:
kill
an endless loop in u
p
coming
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
call_m
a
t
h: i
n
iti
a
lize som
e
strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
f
n_arg_link: fix
a
n endless
l
o
op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-20
Dan Carpenter
db: fix a
segfault
p
arsin
g
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-19
Dan Carpenter
compari
s
o
n
: improve handling of "if (f
o
o + 1
> limit) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Ca
r
pent
e
r
db/comp
a
rison: Use mask
i
nfor
m
atio
n
to get co
m
pariso
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan
C
a
rp
e
nt
e
r
comparison:
ha
n
dle __smatch_compare(foo, bar
- 1)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpent
e
r
extra: cl
e
anup h
a
n
d
le_A
N
D_op()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpen
t
er
e
xt
r
a: clean
u
p
handling
"if (foo
& 0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan
Ca
r
pent
e
r
user_dat
a
: silence som
e
false positiv
e
s
with divi
d
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
D
an Carpent
e
r
user_data2: silence some false
p
ositives handl
i
n
g
ntohl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpent
e
r
conditions: hack
a
round "if (foo | bar) {" (bitwise OR)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-09
Dan
Carpenter
data/k
e
rnel
.
i
g
nore_macro_ind
e
nt
i
ng: igno
r
e t
c
p_skb_tsorted_r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpe
n
ter
db
/
smd
b
.
py: change
som
e
formatting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpente
r
db/smdb
.
py
:
fix the PARAM
_
COMPAR
E
/LIMIT t
y
pes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan C
a
rpenter
r
osenberg: fix a cra
s
hing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Da
n
Carpen
t
e
r
user_data2: do
a hack around in the pre
_
merge_hook()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
con
s
tra
i
nts: handle conditions like "
i
f
(
8
< x
)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carp
e
nter
expr_to_chunk_helper: set *sym when there
i
s only
o
ne
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
slis
t
: allow sho
w
_sm() to acc
e
pt NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next