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
dereferences_param: don't record addresses dereferences
2020-09-04
Dan Carpent
e
r
db/kernel
.
insert: the device_add() func
t
ion sets the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-04
Da
n
Carpenter
db/kernel
.
insert: In
s
ert
some vmallo
c
() li
m
its
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
Dan Car
p
ent
e
r
val
i
dation: update locking tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
Dan C
a
rpenter
Merg
e
git://git
.
kerne
l
.
org/pu
b
/scm/de
v
el/sparse/sparse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
Dan
C
arpente
r
h
e
lper: ex
p
ort g
e
t_p
a
ram_key_fr
o
m_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-09-01
Dan Carpente
r
locking
:
turn off locking c
h
eck f
o
r non-SM
P
co
n
figs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Da
n
C
a
r
p
enter
fre
e
_str
i
ct/
f
r
e
es_param:
r
e
-
write these checks a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Da
n
Carpenter
free: fix parsing
o
f
p
a
r
ent_is
_
free_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
Dan
Carpenter
b
u
f_size: add support for
k
vcalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
D
a
n Carp
e
nter
buf
_
size: im
p
rove support for
variable s
i
ze arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-14
D
an C
a
rpenter
buf_si
z
e: improve support fo
r
zero size
a
r
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-13
Dan Ca
r
pent
e
r
ca
p
ped: m
o
ve binop handling
into a sepa
r
ate functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-13
Dan Carpenter
capped: hard max does not me
a
n cappe
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-11
Dan Carpenter
db/smdb: port it to py
t
hon3
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-11
Dan Car
p
enter
db/smdb: a
d
d USER_PTR types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-06
Dan Carpenter
equiv
:
d
elet
e
u
n
used r
e
move_from_equiv_expr
(
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpenter
user_d
a
ta: clea
n
up ma
t
c
h
_assi
g
n(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpe
n
ter
u
s
er_data: m
a
rk array
_
index_mask_n
o
sp
e
c as ca
p
ped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan Carpent
e
r
points_to_user_da
t
a: reset th
e
state to not user dat
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
D
an Carpenter
db: don't s
t
ore unreachable calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Da
n
Carpenter
derefer
e
nces_param:
mark more
p
a
r
ameters as
de
r
eferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-05
Dan
C
a
r
pente
r
math: array para
m
eters can be NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-08-03
Dan Carp
e
n
t
er
points_to_user_data
:
Fix a segfault parsing kernel
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-21
Dan Carpe
n
t
e
r
atomic_inc_dec: create a
new
inc_dec table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan
C
arpenter
user_d
a
ta/po
i
nts_to_user_da
t
a: r
e
-write us
e
r t
r
ac
k
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
flow: fix cert
a
in inline functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
d
b
:
c
reate fak
e
assignments for cal
l
s and
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
a
n Carpenter
ke
r
ne
l
: impro
v
e
h
a
ndli
n
g of ker
n
el pa
r
amete
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan
Carpenter
kernel: improve
ha
n
d
l
ing f
o
r IS_
E
RR(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
an Ca
r
p
e
nter
u
s
er_d
a
t
a:
upd
a
te a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
an Carpenter
math:
f
i
x a compile i
s
s
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Da
n
Carp
e
nter
mat
h
:
a
s
s
u
me po
i
nt
e
r addi
t
ion
s
don't over
f
low
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
D
a
n Carpenter
buf_s
i
ze: fake func
t
ion as
s
ign
s
a
re always unkn
o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan Carpenter
m
a
th: add
s
upport fo
r
__built
i
n_
f
fs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan
Ca
r
p
e
nter
al
l
ocating_eno
u
gh_
d
ata: silence cont
a
i
n
er_of() false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-07-14
Dan
C
arpe
n
ter
M
e
rge git:
/
/git
.
k
e
rnel
.
org
/
pub/scm/d
e
v
el/sparse/
s
pa
r
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-19
Dan Ca
r
penter
type: m
a
r
k
foo
.
bar
.
baz a
s
a local va
r
i
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-18
D
a
n
C
arpenter
extra: mtag: do
n
'
t
store unk
n
own states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-06-08
D
an Carpenter
db:
Fix
b
uffer
o
v
erfl
o
w in state_name_to_param_na
m
e(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan
Car
p
e
nter
atomic
_
inc_dec:
re
m
ove an unused parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
a
t
omic_
i
nc_dec:
d
on't warn about im
p
ossibl
e
p
a
ths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atomic_
i
nc_dec: ignore local s
t
atic variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan C
a
rpenter
a
t
omi
c
_
inc_dec: unknown va
l
ues are
n
ot failures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpen
t
er
at
o
mic_inc_dec:
d
on't record increment/decrem
e
nt
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan
C
arpenter
atomic_inc_dec:
r
ecor
d
p
o
tenti
a
l decreme
n
ts as
a
decrement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atom
i
c_inc_de
c
: don't sto
r
e
informatio
n
in imposs
i
ble
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan
C
ar
p
enter
atomic_
i
nc_dec: add more f
u
n
c
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
D
an
Carpenter
a
t
o
mic
_
inc_dec: don't do
u
ble set
s
tates
t
o
&inc
/
&dec
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan Carpenter
atomic_inc_
d
ec: change
how unma
t
ched sta
t
es are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-26
Dan C
a
rpe
n
ter
atomic_inc_dec: rename "orig" t
o
"star
t
_s
t
ate"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
Dan C
a
rpenter
kerne
l
_
p
rintf
:
print err
o
r pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
Dan Carpent
e
r
kernel
_
printf: add
s
u
ppo
r
t for %ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-20
Da
n
Carpent
e
r
kernel_print
f
: add _GNU_SOURCE define
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-19
Dan Carpenter
Documen
t
ation/smatch: add
a r
e
f
e
rence to the mai
l
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-12
Dan Carpenter
buf_size: ignor
e
cer
t
ain assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-11
Da
n
C
arpenter
atomic_inc_dec
:
fi
x
compile even hard
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-11
Dan
Carpenter
db
:
split
possible states ev
e
n
w
hen the
y
'
re eq
u
al to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-07
D
a
n C
a
rpenter
s
m
a
tch: fix the compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-07
Dan
C
arpenter
sh
i
ft_to_zero: be even
more conserv
a
tive
(avoid
f
alse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Ca
r
penter
debug
:
add mor
e
debug info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan
Carpent
e
r
db:
d
on't
b
o
ther
w
ith unknown sizes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpe
n
te
r
buf_s
i
ze: update some
kernel
f
u
nctions: vzalloc() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpenter
bit
s
:
Fix hand
l
ing of |= and &=
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Car
p
enter
b
i
ts: move is_loop_itera
t
or() ea
r
l
i
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
D
an Carpenter
k
e
rnel: prese
r
v
e the s
m
s
tate when
handl
i
ng IS_ERR()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpenter
kernel:
fix a type bug handling err_cas
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-06
Dan Carpenter
kernel: add support for closure
_
c
a
l
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
D
a
n
Carpenter
buf_size:
c
heck pointer si
z
e earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan
C
arpenter
buf_size
:
fix handling of unk
n
own fl
e
xible array si
z
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpenter
bu
f
_size: ignore zero returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpent
e
r
e
xtra: fix compi
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan Carpent
e
r
e
xt
r
a
: delete som
e
de
a
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan C
a
rpe
n
ter
build_kernel_data
.
sh:
pri
n
t
a
m
ess
a
g
e afte
r
the
k
ernel
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan
C
a
rpenter
db
/
k
e
rnel
.
return_fixes: ww_
m
u
tex_lock() can'
t
ret
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-05
Dan
C
arpenter
capped: hand
l
e
& and % s
l
ig
h
tly
d
i
f
f
erently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
Carpenter
d
b
/
r
et
u
rn_states: fix call_id type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpente
r
db/creat
e
_d
b
.
sh
:
si
l
e
nce warning when -p option isn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
mark_
f
unctio
n
_
ptrs_searc
h
able: mark mor
e
functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
co
n
tainer_of:
f
ix importin
g
the mtag data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpe
n
te
r
e
state: check har
d
m
ax in es
t
at
e
s_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpent
e
r
e
s
tate:
add a ->new
flag to
track new states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
D
an
Ca
r
penter
helper
:
export get_ar
r
ay_expression(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan
C
arpenter
i
m
plied: fix parsing for PARAM_LIM
I
T implicatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
implied: non-merged st
a
t
e
s have no im
p
li
c
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan
Carpenter
type: imp
r
ove get_
m
emb
e
r_t
y
pe_from_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan
C
arpenter
type_val: ig
n
ore "idr_
f
in
d
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Da
n
Carpen
t
er
i
mpli
e
d
:
tu
r
n o
n
debug_implied
when regular debug is
s
et
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpenter
err_ptr: dele
t
e
dea
d
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
D
a
n Carpenter
struct_assi
g
nment:
strip
p
a
renthese
s
right
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-05-04
Dan Carpente
r
atomi
c
_inc_dec: push lat
e
st cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-04-07
Dan Carpenter
real_absolu
t
e
: update real
a
bsolute
fo
r
f
aked fresh
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpenter
type:
c
re
a
te ty
p
e_fi
t
s() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
D
a
n C
a
rpenter
db/kernel
.
return
_
f
i
x
es: misc updates (l
o
c
k
i
n
g
mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Da
n
C
arpenter
state
s
: add a
way to watch other checks set st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan
Car
p
e
n
ter
d
e
bug: print a specia
l
warning for
u
se
r
_rl wi
t
ho
u
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan Carpenter
fre
s
h_alloc: som
e
thi
n
gs are
n
ot fresh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan C
a
rpen
t
er
helper: don't cach
e
Tmp
e
xpressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
Dan Car
p
enter
e
x
p
r
e
ssions:
R
e
name "Fake
"
to "Tmp"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
D
a
n Carp
e
nter
math: functions
c
an return
fuzzy range lis
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2020-03-10
D
an Carpenter
return_to_param: rem
o
ve unused
d
eclaration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next