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
core: silence some false positives from parsing invalid code
2018-01-25
Dan
C
a
r
penter
c
o
r
e
: silen
c
e
some
false positives from p
a
rsing invalid
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
D
a
n Carpenter
implie
d
:
u
se
a
time b
a
se
d
timeout i
n
stead o
f
cou
n
ti
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Da
n
Carpenter
extra: handl
e
l
oops
like: w
h
ile
(
--i >
=
0) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan
C
ar
p
enter
fu
n
ction_hooks: fake an assignm
e
nt when functions r
e
tu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan C
a
rpenter
check_free_stri
c
t:
New stricter cross fu
n
ction use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
D
an
C
arp
e
nter
che
c
k_atomic_in
c
_dec
:
tra
c
k atomic_inc
(
)
and atomic_dec(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpent
e
r
assigned_expr: h
a
ndle fake assignments
bet
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan C
a
rpenter
assi
g
ned_expr: re
m
ove
deb
u
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan
C
arp
e
nt
e
r
ker
n
e
l
_printf:
%
px is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan C
a
r
p
en
t
e
r
stree: d
e
bug
g
i
ng:
print the number o
f
stat
e
s in _
_
print_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
mtag:
c
omm
i
t all m
t
ag related code to d
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n Carpent
e
r
smdb
.
py: fix some c
r
ashi
n
g bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
Carpen
t
e
r
con
t
ainer_of: handle function
c
a
l
l
s
like foo->
b
ar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Car
p
enter
smatch: get th
e
smat
c
h
b
in dir correctly when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpen
t
er
u
s
er_data2: empty states are not
user da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpen
t
e
r
co
n
strai
n
ts_requ
i
red: improve handling of
a
ssig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Ca
r
p
en
t
e
r
db:
don't split by
N
ULL vs non-NULL when
t
here are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
ter
f
low: store
a backup of the st
a
rt time
when pa
r
s
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
h
elper: c
h
a
n
ge
some
n
o
nsen
s
e values to other nonse
n
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpen
t
er
DB: introdu
c
e a timeout handling
caller in
f
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
penter
address:
f
ix
hand
l
i
ng
o
f &foo->ba
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
te
r
contstraints: use calle
r
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constr
a
i
nts: mov
e
print_return
_
implies_cons
t
rained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constrain
t
s: clea
n
u
p unmet_con
s
traint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constra
i
nts: fix add_const
r
aint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan C
a
rpenter
mtag: introduc
e
create_mtag_alia
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n Carpenter
mt
a
g: fix get_
m
tag() for recorde
d
states and for arra
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
li
n
ks: n
o
need
t
o record links outside
a
functio
n
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
t
y
pe_val: cache DB info as a
s
peed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
D
an Carpente
r
string_list:
p
revent
a use after f
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carpenter
mtag: rename from mtags p
l
ural to mta
g
singular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
h
elper: keep a
s
mall cache of recently used v
a
riable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
penter
extra
:
p
a
ss expr
e
s
s
i
o
n
poi
n
ter to mo
d
/
n
omod hoo
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
penter
extra: wri
t
e infr
a
structure to pass expr to
n
o_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
db/build_early_index
.
sh: set up mor
e
mtag
i
ndexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
expression
s
: initialize ->member_
o
ffset() in member_express
i
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpenter
function_ho
o
ks:
s
et path impo
s
sib
l
e
if we
c
ull
everything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
mtags: remove th
e
& pre-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpente
r
scrip
t
s
/
gen_allo
c
ation_l
i
st
.
s
h: add
_
_all
o
c_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
er
db/fixup_kernel
.
sh: snprintf()
r
eturns aren'
t
really
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carp
e
nter
extra: pass t
h
e modified expressi
o
n to extr
a
_m
o
d_hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpe
n
ter
e
x
tra: store value
s
for expression
s
like "foo
[
3]
.
ba
r
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpen
t
er
address:
d
on
'
t segfault parsing invalid
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carpen
t
er
i
g
nore: re-write and add
_
expr()
versions of funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
par
a
m_set/filter: PARAM_SET instead of PARAM_
A
DD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
p
a
r
s
e_call_mat
h
: use assigned values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
sva
l
: impr
o
ve sval_binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
extra:
don't
modify con
s
t para
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
a
ddr
e
s
s
/type: make some function
pa
r
a
meters const
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an C
a
rpenter
s
t
ruct_ass
i
gnment: remove an duplicate
N
U
LL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
struct_assignment:
don't double
parse ulong ass
i
gnme
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
C
a
r
penter
st
r
u
ct_assignment: f
i
x a NULL
d
ereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/mtags: ad
d
mtag
_
d
a
ta and mtag_map
tables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carpenter
d
b
/fn_pt
r
_data_link: don
'
t st
o
re duplic
a
te records
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpen
t
er
db: allow SQL statements to be run la
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db:
i
n
t
roduce g
e
t_mtag_name_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n
Carpente
r
s
t
ruc
t
_assign
m
ent: han
d
le no
n
struct,
p
ointer as
s
ignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpente
r
s
truct_as
s
ignment: fix hand
l
ing
of
n
o
n_struc
t
_assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n Carp
e
nter
struct_assign
m
ent:
split handle_non
_
st
r
uct_a
s
sigments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan
C
arpenter
index_ove
r
flow: make all messages "error:" inst
e
ad
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
ind
e
x
_
overflow: small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
index_overflo
w
: don't
w
arn about impo
s
sible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpe
n
te
r
mta
g
: introduce memory tag
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
implication
s
:
set_state()
s
h
ou
l
d
t
r
u
m
p implicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Dan
C
ar
p
e
n
ter
buf_
c
omparison:
copy t
h
e
code from smatch_constraints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpenter
implied
:
improv
e
the "too hairy" message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan
Carpenter
co
m
p
a
rison: store the
expressions
i
nvolved
(if it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpen
t
e
r
comparison: rename var
1
to l
e
ft_v
a
r and var
2
to r
i
ght
_
var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Da
n
Carpente
r
constrain
t
s_required
:
detect a bunch of new t
y
pes of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
D
a
n C
a
rpenter
constraints: allow function constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
D
an Carpent
e
r
constrai
n
ts: don't store
signed vs un
s
igned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
Dan Carpent
e
r
k
ernel_printf: don't segfa
u
lt on invalid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Ca
r
p
e
nter
use
r
_data: f
i
x compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
D
a
n
Carpent
e
r
type_val: use sma
t
c
h
_cont
a
i
ner_of() information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan
C
a
rpente
r
user_
d
ata: thi
s
file is replaced by
c
heck_user_data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Da
n
Carpen
t
e
r
i
m
plied: add a t
i
meout i
n
smatch_implied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan
C
a
r
pente
r
f
l
o
w:
d
elete out of scope variabl
e
s for comp
o
und sta
t
ement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
D
a
n Car
p
e
n
t
er
scop
e
: move a
check for STMT_CO
M
POUND
e
arli
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
val
i
dation/sm_
c
asts
.
c: update t
o
not
u
s
e an unintia
l
ize
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
revert "smatch_type
.
c: comparison
e
xp
r
e
ssion
s
always
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
validation/
s
m_bu
f
_si
z
e
6
.
c: update f
o
rmat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
p
ar
s
e: make a
n
arr
a
y larger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
helper:
fix get_a
r
ray_exp
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
pe
n
t
er
a
s
si
g
ned_expr: save a rec
o
rd when
a function sets fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
a
rpenter
m
odif
i
cation_hoo
k
s: handle PARAM_SE
T
earlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
.
git
i
gnore: ign
o
re
.
sm
a
tch,
.
smatc
h
.
sql and
.
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpe
n
ter
c
onstraints: add a comment, remo
v
e debu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
co
n
s
trai
n
ts_requir
e
d: store
more re
q
uired co
n
straints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
enter
call_math: add kzalloc() to th
e
l
ist of
allocation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
call_math
:
prevent
a
n
endless loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpen
t
er
allocation_funcs: add __
a
l
l
oc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
rpen
t
e
r
const
r
aints: fix selecti
n
g the required c
o
nst
r
ai
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
R
asm
u
s
Villemoe
s
ch
e
ck_ker
n
el_printf
.
c: w
a
r
n
about "
%
l
x",
(
l
ong)pt
r
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Vill
e
m
oes
smatch_type
.
c: comp
a
rison
e
xpressions
always have type int
commit
|
commitdiff
|
tree
2017-10-30
Rasmus
Vi
l
l
emoes
smatch_type
.
c
:
f
ix typ
e
of pointer di
f
f
commit
|
commitdiff
|
tree
2017-10-27
Dan Ca
r
penter
struct_a
s
s
i
gnmen
t
: fix parsing of invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpenter
s
ym
b
o
l: let is_pt
r
_
t
ype() t
a
k
e
NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carpe
n
ter
core: ad
d
NULL checks for p
a
rsi
n
g invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan C
a
rpenter
get_us
e
r
_
overflow: verify tha
t
that it's a
compare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Rasmu
s
Vil
l
emo
e
s
che
c
k_kernel_printf
.
c
:
chec
k
%pOF argument is
s
truct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next