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
user_data: cleanup get_user_rl()
2018-06-13
Dan
C
arpenter
user_d
a
t
a: cle
a
nup get
_
user_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan C
a
rpenter
comp
a
rison: fix a NULL de
r
eference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-07
Dan Carpenter
comparison
:
fix validation tests
a
n
d a
d
d a new test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
extra:
re
m
ove an unn
e
ede
d
__s
e
t_sm(
)
in db_
p
aram
_
limit_
f
ilter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
helper: strip ou
t
t
he by
t
e
s
waps in strip_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
er
validation/sm_locking3: fix function declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpen
t
er
u
n
known_v
a
lue: clear the ->parent po
i
n
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
ranges:
i
mprove str_to_comparis
o
n_arg
_
hel
p
er()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Carpenter
comparis
o
n: use smatch_
e
x
t
ra data in get
_
c
omparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan Ca
r
pen
t
er
com
p
arison:
i
mprov
e
ha
n
dling of "if (++j == limit)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Dan
Carpenter
co
m
p
arison: ha
n
dle j++ var sym lis
t
s bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-06-06
Da
n
Carpenter
equi
v
:
ty
p
e and implication fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-30
Dan Car
p
en
t
er
ra
n
ges:
f
ix ==
a
n
d !=
c
o
mparis
o
ns
.
.
.
(
0
_0)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-25
Dan Carpenter
r
et
u
rn_to_param: fix parsing calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-23
Dan Carpenter
validation: update
t
ests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-15
Dan Carpenter
db:
m
ake c
a
ll_
i
mpli
e
s
r
ows unique
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
fl
o
w
:
remove the
call_s
p
lit_expr() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Da
n
Carpenter
e
xtra:
h
andle
c
omparisons to ex
p
ress
i
on statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
db/fil
l
_db_caller_info
.
pl: don't perma-ban functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
rp
e
nter
db/fixup
_
kerne
l
.
sh:
c
ommi
t
all my
stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
Carp
e
nter
function
_
ptrs: record local point
e
r scope cor
r
ectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan C
a
r
p
enter
real_absolute:
d
on't sav
e
s
i
n
g
le value assign
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan
C
arpenter
sval: fix a bug
i
n sval_too
_
low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpent
e
r
db: i
n
troduce db_
i
gnore_state
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
D
an Carpenter
db/untracked_para
m
: mark para
m
eters
u
ntr
a
cked
if we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-05-14
Dan Carpenter
f
l
ow: don
'
t parse inline funct
i
ons which
aren't in
t
eresting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-23
Dan
C
a
rpente
r
db
/
constrai
n
ts_re
q
uired
.
schema: add missing semi-colon
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
D
a
n
C
a
r
penter
flow/expr
e
ssions/function_h
o
oks: re-fix is_a
s
signed_call()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
D
an Carpenter
kernel: handle __read
_
once_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-20
Dan Carpenter
math: f
i
x
a
get_value(
)
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-19
Dan Carpen
t
er
e
xp
r
e
s
s
ions: make assign_ex
p
re
s
sion() take an op arg
u
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan
Carpe
n
ter
spectre:
w
arn abo
u
t potential spec
t
re vuln
e
rabili
t
ie
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-18
Dan Ca
r
penter
ex
p
ressions: don't set th
e
->parent to
a
fake expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-17
D
an Carpenter
expressions: jus
t
allocate zero_expr() fresh every
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-16
Dan Carpenter
expression/smatch
_
expres
s
i
o
n
s:
m
ove expr_set/get_pa
r
ent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Joe
y
Pabalina
s
s
p
arse:
a
dd -Wpoi
n
ter
-
a
r
ith fla
g
to toggle sizeof(voi
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Da
n
Car
p
ente
r
or_
v
s_and:
t
idy up wh
i
tespace
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-12
Dan Carpenter
or_vs_and: min_t
(
)
uses
t
h
e
new min()
code
as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan
Carpenter
chec
k
_or_vs
_
and: i
g
n
ore the ker
n
el's min
/
max ma
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-11
Dan Carpenter
f
l
ow/math: ha
n
dle
_
_builtin_choose_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpent
e
r
v
a
l
idation/ov
e
rflow: change "warn:"
t
o "error:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-10
Dan Carpenter
about_fn_ptr_a
r
g:
don't get into a recursiv
e
loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Car
p
enter
helper: add get_last_statement_from_e
x
pression_
s
t
mt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpen
t
er
m
e
m_track
e
r: a
d
d a --mem
opt
i
on to
debug memory
use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
an
C
arpenter
expressions: remo
v
e
some unnecessary gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n
Carpenter
hel
p
er
:
improve is_err
o
r
_
r
etu
r
n()
.
In the kernel all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
s
m
atch_data/smatch
.
comm
o
n_
f
un
c
t
i
ons:
add so
m
e common
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n
C
arpenter
smatch_
d
ata/ke
r
nel
.
ig
n
o
red_macros: add
AA_
B
UG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arp
e
nt
e
r
sma
t
ch
_
data/kernel
.
ignore_uninitialized pa
r
ams
:
add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpenter
sma
t
ch_data/k
e
rnel
.
ignore_
s
ide_effects add recent macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan Carpente
r
comparison: ha
n
dle
e
xpr
e
ssion stat
e
ments
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
Dan
C
arpent
e
r
comparison: remove som
e
debug cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-09
D
a
n
Carpenter
comparison: introdu
c
e impossib
l
y_
h
i
g
h_compari
s
on()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-04-05
Dan Carpenter
ig
n
o
re: fix && v
s
|| typo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-29
Dan
Carpente
r
index_overflow: almost a re-write
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan
Carpenter
i
m
plied: improve h
a
ndl
i
ng of a
s
sign
m
ents in argumen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carp
e
nter
kernel_
p
rintf: do
n
't warn about void p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Ca
r
pe
n
ter
ch
e
ak_leaks: hand
l
e retu
r
nin
g
c
o
nditionals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
Dan Carpent
e
r
math
:
int
r
oduce a
n
ew cache of re
c
en
t
ly used constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n Carpenter
math:
h
andl
e
__b
u
iltin_constant_p()
p
ro
p
erly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
an Car
p
e
n
t
er
math: allocated some
p
e
r
mane
n
t
r
ange li
s
ts
in rl_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-26
D
a
n
C
arpenter
co
n
ditions: F
i
x parsin
g
foo = ({
.
.
.
label:
_
_ret;
})
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-14
Dan Carpenter
fu
n
ct
i
on_h
o
oks: do
n
't be too
ambiti
o
us f
a
king param
e
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Dan
C
arpenter
r
a
nges/ptrli
s
t: s
o
lve
a leak wi
t
h a big hack (s
e
cond
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-12
Da
n
Carp
e
nter
all
o
cate: use unsigned
long to rec
o
rd allo
c
ations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpent
e
r
deref_
c
heck: fix
a
small leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpe
n
ter
hooks: intr
o
d
u
ce FUNCTION_CALL_HO
O
K_BEF
O
R
E
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
user_
d
ata: re
a
ding fro
m
a
n array doesn't ne
c
e
s
sarily
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
implied: introduce impossibl
e
_assumpt
i
o
n(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan Carpenter
buf_size: don't save unnecessary
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
an
C
arpenter
mta
g
: push a
l
l my changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
D
an Carpenter
ranges:
fix a lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-07
Dan
Car
p
enter
debug: add
_
_smatch_
s
tate_co
u
nt
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Da
n
C
a
rpente
r
modi
f
ication_hooks:
d
on't
save the expressions outside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpenter
va
r
_sym
:
tweak expr_
t
o
_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpenter
symbol
.
h: l
e
t is_ptr
_
t
y
p
e
() take N
U
L
L
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan
C
arpenter
return_to_par
a
m: fix a crash
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
an Carpe
n
ter
struct_a
s
signment/a
s
si
g
ned_expression: save some more
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
D
a
n Ca
r
pent
e
r
exp
r
e
s
sio
n
s: free allocated expressions after t
h
e
end
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Dan Carpenter
rosenberg: check the correct alignme
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc
V
an Oostenryck
f
i
x: do not ig
n
ore
struct/
u
n
ion/
e
num type
attribut
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc
V
an Oostenryck
move up apply_cty
p
e()'
s
declaration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc Van Ooste
n
ryck
add testcases for ignor
e
d type attr
i
butes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan Carpenter
Merg
e
git://git
.
ke
r
ne
l
.
org/pub/
s
cm/devel/sp
a
rse
/
sparse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
Dan Carpe
n
ter
m
t
ag:
fix
b
uild err
o
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Dan Carpente
r
h
elper: f
i
x
segfault parsing invalid
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
type_val: dev_get_drvdata() d
o
e
s
n't
s
et
t
he types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
or_vs_an
d
: w
h
ite spa
c
e clea
n
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
Carpenter
conditions: pass SELECT_H
O
OK for select assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
est
a
te: white
s
pace
c
l
ean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
arpenter
constraints: all
o
w
b
inop constrain
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carpen
t
e
r
s
m
atch_com
p
aris
o
n:
f
ix a cras
h
ing
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
check_kernel: handle fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
Carp
e
nter
ext
r
a
:
tig
h
t param
e
ter values
a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpente
r
extra: han
d
le "if (foo & 0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n
Carpenter
extra: d
o
n'
t
set
true/false states if it's the s
a
me
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
im
p
li
e
d: use
a
s
sume() even if
t
here are no implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpent
e
r
math: silence hard ma
x
false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
slis
t
: 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
Dan Car
p
ent
e
r
mt
a
g: kill an en
d
less loop in up coming
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next